A set S₁ is a subset of another set S₂ if every element in S₁ is in S₂. S₂ may have exactly the same elements as S₁. Formal Definition: S₁ ⊆ S₂ iff ∀ s, s ∈ S₁ → s ∈ S₂.