if x < y then x – y is a positive rational number.