Poset
Set
context
$X$
definiendum
$\langle X,\le \rangle \in\ \mathrm{Poset}(X) $
context
$\le$ … non-strict partial order
Discussion
todo
http://i.imgur.com/xMvIkYr.png
Reference
Wikipedia:
Poset
Parents
Equivalent to
Non-strict partial order