for X, z being set
for x being Element of X
for F being filtering Operation of X st z in x . F holds
z = x