theorem Th1: :: MMLQUERY:1

for R1, R2 being Relation holds
( R1 c= R2 iff for z being object holds Im (R1,z) c= Im (R2,z) )