i1 : P = booleanLattice 3;
i2 : openInterval(P, "001", "111") o2 = Relation Matrix: | 1 0 | | 0 1 | o2 : Poset