proper inclusion noun1 •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
