for R being Relation
for a, b being object holds
( R reduces a,b iff R [*] reduces a,b )