previous up next
Go backward to Example
Go up to Top
Go forward to Complex Numbers
RISC-Linz logo


N subset ' Z subset ' Q subset ' R subset ' C
A subset ' B : <=> exists h, B' subset B: h: A ->iso(OA,O'B) B'.

and OA 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

previous up next