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: Sat Sep 24 14:53:36 2016
No longer supported by Imperial
College Department of Computing
Copyright Denis Howe 1985