Go backward to
Proof (Continued)
Go up to
Top
Go forward to
Integer Numbers
Difference of two numbers is always is well-defined.
Definition on top of
N
.
Z
subset
N
x
N
.
N
not subset
Z
!
We will see later how to "embed"
N
into
Z
.
We will see later a "better" construction of
Z
.
Author:
Wolfgang Schreiner
Last Modification: November 16, 1999