Herbert B. Enderton, in Elements of Set Theory, 1977. Proof. If B is a proper subset of A, then A − B has a least element m. By the leastness, y ∈ B for ...
確定! 回上一頁