안녕하세요. 질문에 대한 관련 답변입니다. 보기 3 (2)는 복소수의 상등 정의입니다. 무리수의 상등 정리도 있기때문에 헷갈리는 것 같습니다. 복소수는 상등 정의를 약속해야 다른 정리들을 생성할수 있습니다. 허나 무리수는 정의로부터 상등을 이끌어낼수 있으므로 정리가 되는 것입니다.