One of the classes, designated as such, whose attribute types are a superset of those of another class.
