y decimos que dos números naturales a, b están próximos si su distancia es a lo sumo un valor D conocido, tenemos que la relación binaria de proximidad es: