Go backward to Motivation Go up to Top Go forward to Constructor function

Definition

Idea:

• Representation: let <a, b> denote the quotient between a and b.
• Normalization: a and b are relatively prime and b is positive.

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}.