 Theorem.Every distributive (∨,0)-semilattice of cardinality at most ℵ1 is isomorphic to

(1) Conc "L", for some locally finite, relatively complemented modular lattice "L" (Tůma 1998 and Grätzer, Lakser, and Wehrung 2000).