ABSTRACT
Logical relation between classes of sets of elements in which it is the case that every element of class A is also an element of class B: All brothers (=class A) are male relatives (= class B). In the semantic aspect of relations between meanings ( semantic relation), inclusion often corresponds to hyponymy, and in propositional logic to implication. ( also formal logic, set theory)
References
formal logic, set theory
Distinction in the person system of many languages in which there are different forms for speaker+hearer (inclusive) vs speaker+third person (exclusive): Chinese women lai le ‘we (you and I) came,’ zanmen lai le ‘we (he and I) came.’
