for L being Boolean LATTICE
for a being Element of L holds
( a is atom iff ( a is co-prime & a <> Bottom L ) )