theorem :: MMLQUERY:48

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