- In mathematical logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as “given any”, “for all”, or “for any”. It expresses that a predicate can be satisfied by every member of a domain of discourse. In other words, it is the predication of a property or relation to every member of the domain. It asserts that a predicate within the scope of a universal quantifier is true of every value of a predicate variable.
- Ted Cruz (Wikipedia)
Rafael Edward Cruz (/kruːz/; born December 22, 1970) is an American politician and attorney serving as the junior United States senator from Texas since 2013. A member of the Republican Party, Cruz was the solicitor general of Texas from 2003 to 2008.