Show: A⊂(B∪{C}) 이면, A⊂B이거나 어떤 D⊂B에 대해, A=D∪{C} 이다.
axiom of foundation은 쓰면 안된다네요
A⊂B가 아닐 경우 C가 A의 원소고, D=A교B로 놓으면 돼요
감사합니다!
A⊂B가 아닐 경우 C가 A의 원소고, D=A교B로 놓으면 돼요
감사합니다!