- 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.
- Geology and coal resources of the Centralia-Chehalis district, Washington (pubs.usgs.gov)
The Centralia-Chehalis coal district includes about 570 square miles in south western Thurston County and northwestern Lewis County, Wash., midway between Seattle, Wash., and Portland, Oreg., and forms a part of the subbituminous and lignite coal fields of southwestern Washington. It adjoins the Morton coal field on the east and the Toledo coal field on the south. It includes a part of the extreme western foothills of the Cascade Range and a part of the eastern border of the Coast Ranges.