@MISC{RAT_1.MIZ,
  AUTHOR = {Kondracki, Andrzej},
  TITLE = {Basic Properties of Rational Numbers},
  DAY = {10},
  MONTH = {July},
  YEAR = {1990},
  ADDRESS1 = {Warsaw University},
  SUMMARY = {A definition of rational numbers and some basic properties
of them. Operations of addition, subtraction, multiplication are redefined
for rational numbers.
Functors numerator (num $p$) and denominator
(den $p$) ($p$ is rational) are defined and
some properties of them are presented.
Density of rational numbers is also given.}}

