for X being non empty set
for S being set holds
( S in Filters X iff S is Filter of X )