(Read-only view - Sponging disallowed)

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