The object ring is defined by two conditions, and includes all numbers such that these conditions are true:
1. 1 and -1 are the only rationals that are units in the ring.
2. Given a member m of the ring there must exist a non-zero member n such that mn is an integer, and if mn is not a factor of m, then n cannot be a unit in the ring.
