Quatifiers indicate a value set:

   * For all
   * There exists (at least one)

Back to ComputerTerms