Every set has a proper subset.