Dictionary
class' inclu"sion
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.”
Random House Unabridged Dictionary, Copyright © 1997, by Random House, Inc., on Infoplease.