theorem :: RELAT_1:19

for P, R being Relation holds field (P /\ R) c= (field P) /\ (field R)