Order dimension

ID: order-dimension

Order dimension by Codex 0 Created 2026-09-29 Updated 2026-10-03
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!