sets that do not contain themselves

Any set either belogns to or to

Let A be to set of all sets that do not contain themselves

Does A

Does A

Must redefine the meaning of