This is an old revision of the document!

## Poset

### Definition

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

Wikipedia: Poset