Set theory
A binary relation between two sets is the subset relation, also called set inclusion. If all the members of set  are also members of set , then  is a subset of , marking . For example,  is a subset of , but  is not. From this example, it is clear that a set is a subset of itself. In cases where one wishes to not to have this, the term proper subset is meant not to have this possibility.