The dimension of a partially ordered set P = (X, <=) is the size of the smallest realizer of P. Equivalently, it is the smallest integer d such that P is isomorphic to a dominance order in R^d.

dimension | dominance | isomorphic posets | realizer