When we wish to talk about the properties of some of elements of a set using a predicate we use the symbol,

$,$ which is called the quantifier.

When we wish to talk about the properties of some of elements of a set using a predicate we use the symbol,

$,$ which is called the quantifier.

existential

trancendent

uniqueness

universal