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."
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 Webster's Unabridged English dictionary. Полный английский словарь Вебстер - Random House . 2012