Define a proper subset.
A set wih proper elements
A subset with less members
A set independent of the mother set
A set wih proper subsets
