La relación binaria R en el conjunto {1, 2, 3, 4} se define de manera que "aRb" se lleva a cabo si y sólo si "a" divide "b" uniformemente, sin resto.