let be sets. we say that is a subset of , denoted , iff every element of is also an element of , i.e., .
we say that is a proper subset of , denoted , if and .
element chasing is showing a set is a subset of another by showing that all its elements are also in the other set.