In set theory, a subset is a set which has some (or all) of the elements of another set, called superset, but does not have any elements that the superset does not have. A subset which does not have all the elements of its superset is called a proper subset. We use the symbol ⊆ to say a set is a subset of another set. We can also use ⊂ if it is a proper subset. The symbols ⊃ ⊇ are opposite - they tell us the second element is a (proper) subset of the first.