Description: Alternate definition of the converse reflexive relation predicate. A
relation is converse reflexive iff: for all elements on its domain and
range, if for an element of its domain and for an element of its range
there is the relation between them, then the two elements are the same,
cf. the comment of dfrefrel3 . (Contributed by Peter Mazsa, 25-Jul-2021)