for R being Relation
for a being object holds R reduces a,a