previous up next
Go backward to Motivation
Go up to Top
Go forward to Constructor function
RISC-Linz logo



Conversion functions:

Z: N -> Z >= 0, Z(x) := <x, 0N>;
N: Z -> N, N(x) := |x|0;

Set definition:

Q:= {<x, y>: x in Z /\  y in Z> 0 /\ 
   N(x) and N(y) are relatively prime}.

Author: Wolfgang Schreiner
Last Modification: November 16, 1999

previous up next