Realization of posets
Résumé
We prove a very general representation theorem for posets and, as a corollary, deduce that any abstract simplicial complex S has a geometric realization in the Euclidean space of dimension P(S)-1, where P(S) is the Dushnik-Miller dimension of the face order of S.