Si "x" e "y" son reales, y "x" − "y" es racional, se dirá que "x" e "y" son "equivalentes", lo que se denota por "x" ~ "y"; evidentemente, ~ es una relación de equivalencia.