The reflexive reduction of a binary relation R on a set X is the minimum relation R' on X with the same reflexive closure as R. Thus a R' b for any elements a and b of X, provided that a and b are distinct and a R b.

reflexive closure | relation | transitive reduction