The order dimension of a partially ordered set is the least cardinality of a family of total orders on whose intersection is . Such a family is called a realizer of the partial order.
New to topics? Read the docs here!
New to topics? Read the docs here!