Description: Equinumerosity relation. (Contributed by NM, 15-Jun-1998) Extract breng as an intermediate result. (Revised by BTernaryTau, 23-Sep-2024)