現代数学の系譜 カントル 超限集合論他 3

この証明納得できないんですが
https://ja.wikipedia.org/wiki/%E3%82%AB%E3%83%B3%E3%83%88%E3%83%BC%E3%83%AB%E3%81%AE%E5%AE%9A%E7%90%86

＞B は A の冪集合に入っているから

そもそもＢが存在するという証明がないんですが
なんでべき集合に入っていると言えるんですか？