for x being object st x in RAT holds
ex m, n being Integer st
( n <> 0 & x = m / n )