Description: The converse of a set is an element of the class of relations. (Contributed by Peter Mazsa, 18-Aug-2019)