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