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