for X being set
for x, y, z being object
for R being transitive Tolerance of X st y in Class (R,x) & z in Class (R,x) holds
[y,z] in R