En matemáticas, una relación reflexiva o refleja es una relación binaria "R" sobre un conjunto "A", de manera que todo elemento de "A" está relacionado consigo mismo.