Description: An atomic, complete, orthomodular lattice is atomistic i.e. every
element is the join of the atoms under it. See remark before
Proposition 1 in Kalmbach p. 140; also remark in
BeltramettiCassinelli p. 98. ( hatomistici analog.) (Contributed by NM, 21-Oct-2011)(New usage is discouraged.)