A set S₂ is a proper subset of another set S₁ if every element in S₂ is in S₁ and S₁ has some elements which are not in S₂.