If a proposition P is true for all B, this is written P for all B. for all is one of the two so-called quantifiers, and translates the universal quantifier for all . The Wolfram Language expression ForAll[x, expr] can be used to represent the statement that expr is true for all values of x.

almost all | exists | for some | implies | quantifier | universal quantifier | universal sentence