Rational

the set of rational numbers

see math notation

definition

QQ x == x = a-b /\ ZZ {a /\ b} /\ b + 0 (restriction not necessary, see improved expression evaluation)

properties

QQ < RR