for a, b being object
for R being Relation st [a,b] in R holds
( a in field R & b in field R )