- Hudson Strait (Wikipedia)
Hudson Strait (French: Détroit d’Hudson) in Nunavut links the Atlantic Ocean and the Labrador Sea to Hudson Bay in Canada. This strait lies between Baffin Island and Nunavik, with its eastern entrance marked by Cape Chidley in Newfoundland and Labrador and Nunavut and Resolution Island, off Baffin Island. The strait is about 750 km (470 mi) long with an average width of 125 km (78 mi), varying from 70 km (43 mi) at the eastern entrance to 240 km (150 mi) at Deception Bay.
- Quantifier (logic) (Wikipedia)
In logic, a quantifier is an operator that specifies how many individuals in the domain of discourse satisfy an open formula. For instance, the universal quantifier ∀ in the first order formula ∀xP(x) expresses that everything in the domain satisfies the property denoted by P. On the other hand, the existential quantifier ∃ in the formula ∃xP(x) expresses that there exists something in the domain which satisfies that property. A formula where a quantifier takes widest scope is called a quantified formula. A quantified formula must contain a bound variable and a subformula specifying a property of the referent of that variable.