An element a of P is meet irreducible if it is not the meet of any set of elements not containing a.
i1 : meetIrreducibles booleanLattice 3 o1 = {110, 011, 111, 101} o1 : List