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.
Updated: Sun Feb 26 02:37:22 2017
No longer supported by Imperial
College Department of Computing
Copyright Denis Howe 1985