Proper Subset Symbol: ⊂ Let A and B be Sets. A is a proper subset of B if A is a subset of B and A is not equal to B. Related: Subsets