for X being set
for x, y being object
for T being Tolerance of X st x in Class (T,y) holds
y in Class (T,x)