theorem Th45: :: MMLQUERY:45

for X being set
for O being Operation of X holds
( O is filtering iff O = id (dom O) )