전체집합의 여집합을 공집합이라고 할 수 있는지요?
뭔가 아닌 것 같은데, 괜한 기분 탓인지 무엇이 아니라고도 풀어 쓸 재간이 없네요.
도와주세요!
1개의 좋아요
공집합 맞습니다.
1개의 좋아요
깔끔하게 정리해 주셨네요. 감사합니다!
좋은 직관을 갖고 계신 것 같습니다. @TheNewHegel 님이 말씀하신 것처럼 전체집합의 여집합이 공집합이 맞긴 하지만, 증명을 해야되는 Theorem이란 점에서 "당연하진 않은" 성질이라고 볼 수 있습니다. 확신이 느껴지지 않다는 게 좋은 직관을 가지신 것 같네요.
3개의 좋아요
각각 정의에 의해 trivial하게 증명됩니다
U:={x : x=x}
empty := {x : x=/= x}
1개의 좋아요
제게 필요한 답변을 해 주신 것 같은데 기호해독이 안되네요 ㅠㅠ
말씀 감사합니다!
커뮤니티에 좋은 분들 많은 것 같습니다.