class inclusion

noun

Logic.

1. 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.”