#
# Thanks to the `[]` method, elements can be considered relatively to the poset.
# SEE `POSetElement`
-class POSet[E: Object]
+class POSet[E]
super Collection[E]
super Comparator
# # ...
# t.in_some_relation.greaters
# ~~~
-class POSetElement[E: Object]
+class POSetElement[E]
# The poset self belong to
var poset: POSet[E]