Go backward to Example Go up to Top Go forward to Complex Numbers |
N subset ' Z subset ' Q subset ' R subset ' Cwhere
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".