Order dimension
= Order dimension
{wiki}
The order dimension of a <partially ordered set> $(X,<)$ is the least cardinality of a family of <total orders> on $X$ whose intersection is $<$. Such a family is called a realizer of the partial order.
= Order dimension
{wiki}
The order dimension of a <partially ordered set> $(X,<)$ is the least cardinality of a family of <total orders> on $X$ whose intersection is $<$. Such a family is called a realizer of the partial order.