Let A be a subset of B. Then A is a proper subset of B if A is not equal to B itself. Equivalently, there is some element of B not in A. This is written A ⊂ B, though be aware that some authors use A ⊂ B to mean A ⊆ B.