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".