m = posetMeet(P, a, b)
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
The object posetMeet is a method function.