i1 : P = booleanLattice 3;
i2 : filter(P, {"001", "100"}) o2 = {001, 011, 101, 111, 100, 110} o2 : List