BranchesHistoryHelpLogin
Welcome guest
You're not logged in.
302 users online, thereof 0 logged in

Definition: Order Relation for Integers - Positive and Negative Integers

According to the definition of integers, we can represent any integer \(x\) by two natural numbers \(a,b\), formally \(x=[a,b]\). In order to avoid too many different cases, we can assume without loss of generality at least one of these natural numbers to be equal zero. There are three different possibilities to have two natural numbers, at least one being equal to zero: \([a,0],[0,0]\) or \([0,a]\) for some natural number \(a > 0\).

Therefore, based on the order relation for natural numbers, we call an integer $x$

for some natural number \(a > 0\).

Based on the definition of subtraction of integers, we can define the order relation for integers as follows:

1 In all three cases, the first $0$ is the integer zero and the $0$ in the brackets means the natural zero.

| | | | | created: 2014-12-15 22:26:44 | modified: 2019-04-12 00:12:57 | by: bookofproofs

1.Proposition: Order Relation for Integers is Strict Total

2.Definition: Absolute Value of Integers

Edit or AddNotationAxiomatic Method

This work was contributed under CC BY-SA 3.0 by:

This work is a derivative of:

(none)

Bibliography (further reading)