Description
A system of groupings, usually called types, which aid demonstration or inquiry by establishing a limited relationship among phenomena. The identity of the members of each type is defined in terms of specified attributes which are mutually exclusive and collectively exhaustive. Any such type may represent one kind of attribute or several and need include only those features of the phenomena which are significant for the problem in question.