relação reflexiva

Na matemática, uma relação reflexiva é uma relação binária sobre um conjunto em que cada elemento de está relacionado a si mesmo. Formalmente, isso pode ser escrito . Um exemplo de uma relação reflexiva é a relação "é igual a" no conjunto de números reais, já que todo número real é igual a ele mesmo. Diz-se que uma relação reflexiva tem a propriedade reflexiva ou é possuidora de reflexividade. Juntamente com a simetria e a transitividade, a reflexividade é uma das três propriedades que definem as relações de equivalência.