In the case of the operations formula_45 and formula_46 defined above, the join formula_45 is greater than or equal to both formula_5 and formula_4 because it was defined to give each doctor their preferred choice, and because these preferences of the doctors are how the ordering on matchings is defined.