At any rate, the empty set is not an element of itself according to any convention that I’ve ever seen.
You’re right; I was mis-remembering. It can’t be, or 1 := 0 u {0} wouldn’t work.
You’re right; I was mis-remembering. It can’t be, or 1 := 0 u {0} wouldn’t work.