全称量词

universal quantifier