On constructing a distributive lattice from a partially ordered set with DCC David Andrew Smith — 1968 Commentationes Mathematicae Universitatis Carolinae