for X being set
for F being filtering Operation of X holds F OR (NOT F) = id X