"The property that determines that two given classes are equivalent, and that is used to specify datatype definitions." . . "equivalentClass" . . . . . .