The homology of a lattice

With each bounded lattice L is associated a simplicial complex K"L. If X is a cross-cut of L, then a simplicial complex K"X is defined. It is shown that the geometric realizations of K"X and K"L are homotopy equivalent.