The meet of a and b in P, if it exists, is the unique greatest element less than both a and b.
i1 : B = booleanLattice 3;
i2 : posetMeet(B, "011", "110") o2 = {010} o2 : List