Talk:Powerset Not Subset of its Set

shouldnt' this be $\powerset A \not \subseteq A$? Because that's what the title says. --prime mover (talk) 08:46, 3 December 2021 (UTC)


 * As for $A \not \subseteq \powerset A$, that is counterexampled by $\O$. --prime mover (talk) 08:49, 3 December 2021 (UTC)


 * yes you're right, I'll change it right now --TheoLaLeo (talk) 18:09, 3 December 2021 (UTC)

there are obvious proofs of this involving cantor's theorem (and regularity), but this appears as a Jech exercise meant not to rely on any of that stuff. I'll add the other proofs at some point. --TheoLaLeo (talk) 18:14, 3 December 2021 (UTC)