Description: The behavior of tpos when the left argument is the empty set (which is not an ordered pair but is the "default" value of an ordered pair when the arguments are proper classes). This allows us to eliminate sethood hypotheses on A , B in brtpos . (Contributed by Mario Carneiro, 10-Sep-2015)