#for every element #predicate logic #quantifier #set theory #holds for group #for all members