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 $\struct {S, \preceq}$ such that $\preceq$ is a partial ordering.


The partially ordered set $\struct {S, \preceq}$ is said to be partially ordered by $\preceq$.


Sources