Melhor resposta
Seja S um conjunto. Por exemplo, S = {1, 2, 3, 4}.
Agora, seja R uma relação sobre S. Isso significa que R contém pares ordenados feitos de elementos de S.
R sobre S é considerado reflexivo se contém um par ordenado para cada elemento de S, onde cada elemento de S é pareado consigo mesmo. (E pode conter outros pares ordenados também.
Por exemplo, R1 = {(1,1), (2,2), (3,4)} é não reflexivo porque não contém (3,3) e (4,4). Se adicionarmos estes, obtemos:
R2 = {(1, 1), (2,2), (3,3), (4,4), (3,4)}
Aqui, R é reflexivo.
Um mais significativo relação reflexiva é a relação “menor ou igual a” sobre o conjunto de números naturais. Como todo número natural é menor ou igual a si mesmo, essa relação é reflexiva.
Resposta
Uma relação R em um conjunto A é chamada reflexiva, se (a, a) pertence a R, para todo “a” que pertence a A.
Exemplo:
R: {1, 2, 3} -> {1, 2, 3} = {(1, 1), (2, 2), (3, 3)} é uma relação reflexiva.
R: {1, 2, 3} -> {1, 2, 3} = {(1, 1), (2, 2)} NÃO é uma relação reflexiva.