for P, R being Relation st P c= R holds
field P c= field R