Poset

Set

context $X$
definiendum $\langle X,\le \rangle \in\ \mathrm{Poset}(X) $
context $\le$ … non-strict partial order

Discussion

Reference

Wikipedia: Poset

Parents

Equivalent to

Non-strict partial order