for L being complete Lattice
for a being Element of L st a is atomic holds
a is completely-join-irreducible