Description: The element of the relations class is a relation. (Contributed by Peter Mazsa, 20-Jul-2019)