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
| context | $X$ |
| definiendum | $\langle X,\le \rangle \in\ \mathrm{Poset}(X) $ |
| context | $\le$ … non-strict partial order |
Wikipedia: Poset
