문서의 임의 삭제는 제재 대상으로, 문서를 삭제하려면 삭제 토론을 진행해야 합니다. 문서 보기문서 삭제토론 자연수 (문단 편집) === 자연수의 대소관계 === 마지막으로 대소관계가 정의된다. 이건 좀 간단(?)하다. 1부터 시작되는 자연수 체계에서는 아래와 같다. > 두 자연수 [math(a, b)]에 대하여 어떤 [math(c)]가 존재해 [math(a = b + c)]가 성립한다면, [math(a > b)]이다. 이 대소관계를 이용해서, 집합의 모든 원소를 하나씩 '''순서대로''' 나열할 수 있게 된다. 좀더 수학적인 표현을 쓰자면 전순서 집합(totally ordered set)이며 정렬 순서 집합(well-ordered set)이다. 0으로 시작하는 자연수 체계에서는 약간 조건이 추가되어서 > 두 자연수 [math(a, b)]에 대하여 '''0이 아닌''' 어떤 [math(c)]가 존재해 [math(a = b + c)]가 성립한다면, [math(a > b)]이다. 또는 이것과 조금 다르게 > 두 자연수 [math(a, b)]에 대하여 어떤 [math(c)]가 존재해 [math(a = b + c^+)]가 성립한다면, [math(a > b)]이다. 로 표기할 수 있으며, 이렇게도 표기할 수 있다. > 두 자연수 [math(a, b)]에 대하여 어떤 [math(c)]가 존재해 [math(a = b + c)]가 성립한다면, [math(a \ge b)]이다. 등호(=) 는 앞에서 정의되었기 때문에, [math( > )] 나 [math( \ge )] 하나만 정의되어도, 이를 조합해서, [math( > , \ge , < , \le )] 만드는 것은 어렵지 않다.저장 버튼을 클릭하면 당신이 기여한 내용을 CC-BY-NC-SA 2.0 KR으로 배포하고,기여한 문서에 대한 하이퍼링크나 URL을 이용하여 저작자 표시를 하는 것으로 충분하다는 데 동의하는 것입니다.이 동의는 철회할 수 없습니다.캡챠저장미리보기