theorem Th10: :: MMLQUER2:10

for R1, R2 being Relation holds field (R1 \, R2) = (field R1) \/ (field R2)