theorem :: MMLQUERY:47

for X being set
for L being List of X
for F being filtering Operation of X holds L | F = L WHERE F