Symbols:Abbreviations/P/Poset

From ProofWiki
Jump to navigation Jump to search

Abbreviation: Poset

Partially Ordered Set.

A partially ordered set is a relational structure $\left({S, \preceq}\right)$ such that $\preceq$ is a partial ordering.


The partially ordered set $\left({S, \preceq}\right)$ is said to be partially ordered by $\preceq$.


Sources