theorem Th33: :: RELAT_1:39

for R being Relation holds
( {} * R = {} & R * {} = {} )