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