Wiktionary
proper subset
n. (context set theory English) Of a set, a set that is a subset of the set but not equal to it.