Logically, "For all" and "for any one" are usually called full-name quantifiers. A proposition that expresses and contains universal quantifiers is called universal proposition.

For example,

Proposition P: For any n∈Z, 2n+ 1 is an odd number.

Proposition P: All squares are rectangles.

Proposition P: For any angle α, there is a sin? α+cos？ α= 1

Are all full-name propositions.

Knowing the definition of this full-name proposition, there are many full-name propositions in high school mathematics. Feel for yourself.