ciało uporządkowane

Ciało uporządkowane – ciało w którym wyróżniony jest podzbiór zbiór elementów dodatnich o następujących własnościach: 1. * zbiór jest sumą trzech zbiorów rozłącznych: 2. * zbiór jest zamknięty ze względu na dodawanie: 3. * zbiór jest zamknięty ze względu na mnożenie: gdzie oraz . Można to wypowiedzieć tak: ciało uporządkowane, to takie ciało, w którym jest określona własność bycia elementem dodatnim (większym od zera, oznaczana przez > 0) o następujących własnościach: 1. * Dla każdego ma miejsce jedna z trzech zależności: 2. * Jeśli i to 3. * Jeśli i to >0. * zapis oznacza, że , a zapis oznacza, że . * zapis oznacza, że .