A set R of linear extensions of a partially ordered set P = (X, <=) is a realizer of P (and is said to realize P) provided that for all x, y element X, x<=y iff x is below y in every member of R.

dominance | linear extension | partially ordered set | poset dimension