순서체(ordered field)에 대하여
$F$가 임의의 체(field)하 하자. 그러면 다음 두 주건을 만족하는 집합 $P \subseteq F$를 체 $F$의 순서라 한다. [O1] 임의의 원소 $a \in F$에 대하여, $a \in P$, $a = 0$, 또는 $-a \in P$ 중 오직 한가지 경우만을 만족한다. 즉, $F$를 집합 $P$, $\{0\}$, $-P$의 분리합집합(disjoint union)으로 나타낼 수 있다. [O2] 만약 $a,\,b \in P$이면, $a+b \in P$이고 $ab \in P$이다. 체 $F$에 위 두 조건을 만족하는 집합 $P$가 존재할 때, $(F,\, P)$를 순서체(ordered field)라 하고 집합 $P$의 원소를 양의 원소(positive element), 집합 $-P$의 원소를 음의..