Si tomamos el conjunto de los números enteros Z, por ejemplo, respecto a la relación binaria entre sus elementos menor o igual, podemos ver que es reflexiva: