for X being non empty set
for R being Relation of X
for x being Element of X
for y being set st R reduces x,y holds
y in X