Description: A set defined as R={S∣S∈S}: R is set of all sets, S, that dont contain themself as an element is R a set? R is not a set or a collection S∈{x∣x∈U,...} is always a set where U=E∪P(E)∪P(P(E))∪... but we only care a set as a subset of U