for R being Relation
for a, b being object st R reduces a,b & a <> b holds
( a in field R & b in field R )