Go backward to Example Go up to Top Go forward to Complex Numbers

Example

N subset ' Z subset ' Q subset ' R subset ' C

A subset ' B : <=> exists h, B' subset B: h: A ->^{iso(O_A,O'_B)} B'.

and O_A denotes the considered operations on A, O'_B denotes the corresponding operations on B' and h: A ->^{iso(O_A,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".