Description: The element of the relations class ( df-rels ) and the relation predicate are the same when R is a set. (Contributed by Peter Mazsa, 24-Nov-2018)