# If two sets $A$ and $B$ have equal power sets, can we conclude that $A=B$?

If two sets $A$ and $B$ have equal power sets, can we conclude that $A=B$

I feel like they are equal, by intuition and by analyzing particular cases, but I don't know how to write a formal proof of this. Thanks in advance.

Note that for any set $X$ we have $\bigcup \mathcal P(X) = X$ where $\mathcal P(X)$ is a power set of $X$. Thus $$A=\bigcup \mathcal P(A) = \bigcup \mathcal P(B) = B$$.
• Another way is :For all $a$ we have $a \in A\to \{a\}\in P(A) \to \{a\}\in P(B)\to a\in B.$ And vice versa, interchanging $A$ and $B$. – DanielWainfleet Oct 7 '15 at 20:53
Yes. If $\mathcal P(A)=\mathcal P(B)$, as $A\in\mathcal P(A)$, $A\in\mathcal P(B)$, which means $A\subset B$. Similarly, $B\subset A$, so $A=B$.