Sea formula_3 una relación reflexiva o antirreflexiva aplicada sobre un conjunto "A", entonces "R" tiene una representación particular para cada forma de describir una relación binaria.