Source : WordNet®

universal quantifier
     n : a logical quantifier of a proposition that asserts that the
         proposition is true for all members of a class of things

Source : Free On-Line Dictionary of Computing

universal quantifier
     
        {quantifier}