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: Thu Oct 27 07:57:46 2016
No longer supported by Imperial
College Department of Computing
Copyright Denis Howe 1985