# Symbols:Abbreviations/P/Poset

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$.