Dictionary

Words, grammatical forms and meanings linked to the ontology.

proper inclusion en · NOUN

Meanings

(uncountable) The state of being a proper subset; a subset relation in which a set A is a subset of a set B but A is not equal to B.
- The symbol ⊆ is used for ordinary inclusion, and ⊂ is sometimes used for proper inclusion. 1960, Paul R. Halmos, Naive Set Theory, Van Nostrand, page 6:

Antonyms

equality · improper inclusion

Relateds

proper subset · subset