Computing (FOLDOC) dictionary
Reflexive transitive closure
Jump to user comments
Two elements, x and y, are related by the reflexive transitive
closure, R+, of a relation, R, if they are related by the
transitive closure, R*, or they are the same element.