This method determines if two elements are comparable and further if a is less than or equal to b in P.
i1 : P = poset {{a,b},{a,c}}; |
i2 : compare(P, a, b) o2 = true |
i3 : compare(P, c, a) o3 = false |
If two elements are incomparable, then the result is false.
i4 : compare(P, b, c) o4 = false |