Two-dimensional partially ordered set (source code)

= Two-dimensional partially ordered set

A partially ordered set is two-dimensional when there are two total orders $<_1$ and $<_2$ on its ground set such that
$$
x<y\quad\Longleftrightarrow\quad x<_1y\text{ and }x<_2y.
$$

= Two-dimensional poset
{synonym}