The reflexive closure of a binary relation R on a set X is the minimal reflexive relation R' on X that contains R. Thus a R' a for every element a of X and a R' b for distinct elements a and b, provided that a R b.

reflexive | reflexive reduction | relation | transitive closure