m = meetExists(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$.





The object meetExists is a method function.