What is Filter quantifier?

In mathematics, a filter on a set X {\displaystyle X} informally gives a notion of which subsets A ⊆ X {\displaystyle A\subseteq X} are "large". Filter quantifiers are a type of logical quantifier which, informally, say whether or not a statement is true for "most" elements of X {\displaystyle X}. Such quantifiers are often used in combinatorics, model theory , and in other fields of mathematical logic where filters are used.