What is interesting, however, is the fact that in general they form proper sub-algebras of the algebra formed from the set of all relevant functions.
various types of quantifiers can obey some common general constraints which are of a non logical nature and which make them thus different from logically possible quantifiers.