Description: Binary partition and the partition predicate are the same if A and R are sets. (Contributed by Peter Mazsa, 5-Sep-2021)