Description: An equivalence for class substitution. (Contributed by NM, 23-Aug-1993) (Revised by Mario Carneiro, 12-Oct-2016)