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