class inclusion


noun Logic.

the relation between two classes in which all members of one class are included in the other, as in the proposition “All humans are animals.”