Go backward to Motivation Go up to Top Go forward to Constructor function |
Idea:
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}.