Go backward to ExampleGo up to TopGo forward to Complex Numbers |

whereNsubset 'Zsubset 'Qsubset 'Rsubset 'C

Asubset 'B: <=>existsh,B' subsetB:h:A->^{iso(OA,O'B)}B'.

and `O`_{A} denotes the considered operations on
`A`,
`O`'_{B} denotes the corresponding operations on
`B`' and `h`: `A`
->^{iso(OA,O'B)} `B`' states that
`h` is an isomorphism between `A` and `B` for each
operation pair.

*Every number domain is isomorphic to some subset of its "successor".*

Author: Wolfgang Schreiner

Last Modification: December 7, 1999