How can a proper subset be a subset of itself?