Description: Implicit substitution of classes for equivalence classes of ordered pairs. (Contributed by NM, 23-Jul-1995)