Definition:Partially Ordered Set

A poset (convenient abbreviation for partially ordered set) is a relational structure $$\left({S; \le}\right)$$ such that "$$\le$$" is an Ordering (which, by definition, is allowed to be "partial").

The poset $$\left({S; \le}\right)$$ is said to be partially ordered by $$\le$$.