An element a of P is join irreducible if it is not the join of any set of elements not containing a.
i1 : joinIrreducibles booleanLattice 3 o1 = {000, 001, 100, 010} o1 : List