The class to which a class instance belongs.
type-class
type-instance