Description: The naive version of the definition of reflexive relation is redundant with respect to reflexive relation (see dfrefrel2 ) in equivalence relation. (Contributed by Peter Mazsa, 25-Oct-2022)