Go backward to ExampleGo up to TopGo forward to Natural Number Laws |

For all natural numbers `x` and `y`, we have:

**Addition**`x`+ 0= `x`,`x`+`y`'= ( `x`+`y`)';**Multiplication**`x`* 0= 0, `x`*`y`'= x+( `x`*`y`);**Total Order**`0`<=`x`<=> T, `x`<= 0<=> `x`= 0,`x`' <=`y`'<=> `x`<=`y`.

Author: Wolfgang Schreiner

Last Modification: November 16, 1999