A semantic variation of generalization in which a type may have only one supertype. See also multiple inheritance.