for R being Relation
for X being set
for a, b being object holds
( R reduces a,b iff R \/ (id X) reduces a,b )