Por ejemplo, los números naturales se pueden dividir en dos clases, usando la relación de equivalencia 'dos números están relacionados si dan el mismo resto al dividirlos por dos'.