All

ref:all

universal quantifier (∀): the predicate holds for every member of the domain