previous up next
Go backward to Isomorphism of Integer Constructions
Go up to Top
Go forward to Isomorphism of Rational Constructions
RISC-Linz logo

Rational Numbers

Definition: Set of rational numbers Q:

x ~ Q y : <=> (x0 *Z y1 = y0 *Z x1)
Q:= (Z x Z != 0)/ ~ Q

Arithmetic: see lecture notes.

Author: Wolfgang Schreiner
Last Modification: January 12, 2000

previous up next