Description: Alternate definition of the class of transitive relations. (Contributed by Peter Mazsa, 22-Jul-2021)