Go backward to Go up to TopGo forward to Definition |

- Not every pair of elements has a quotient in
**Z**:- ~
**exists**`x`: 2=`x`*3. `x`/`y`:=**such**`z`:`x`=`z`*`y`.- 2/3 is undefined.

- ~
- Introduce a set
**Q**of*rational numbers*such that**Z**can be "embedded" into**Q**, and- for all rationals
`a`and`b`there is an rational`x`with`a`=`x`*`b`(and consequently`a`/`b`is defined).

*Set-theoretic construction on top of Z*.

Author: Wolfgang Schreiner

Last Modification: November 16, 1999