Description: An equality deduction for the proper subclass relationship. (Contributed by NM, 9-Jun-2004)