Description: Element of the class of converse reflexive relations. (Contributed by Peter Mazsa, 30-Aug-2021)