Existential quantificationIn predicate logic, an existential quantification is a type of quantifier, a logical constant which is interpreted as "there exists", "there is at least one", or "for some". It is usually denoted by the logical operator symbol ∃, which, when used together with a predicate variable, is called an existential quantifier ("∃x" or "∃(x)" or "(∃x)"). Existential quantification is distinct from universal quantification ("for all"), which asserts that the property or relation holds for all members of the domain.
Outgoing longwave radiationLongwave (LW) radiation, in the context of climate science, is electromagnetic thermal radiation emitted by Earth's surface, atmosphere, and clouds. Longwave radiation may also be referred to as terrestrial radiation, thermal infrared radiation, or thermal radiation. This radiation is in the infrared portion of the spectrum, but is distinct from (i.e., has a longer wavelength than) the shortwave (SW) near-infrared radiation found in sunlight. Outgoing longwave radiation (OLR) is the longwave radiation emitted to space from the top of Earth's atmosphere.
RadiometerA radiometer or roentgenometer is a device for measuring the radiant flux (power) of electromagnetic radiation. Generally, a radiometer is an infrared radiation detector or an ultraviolet detector. Microwave radiometers operate in the microwave wavelengths. While the term radiometer can refer to any device that measures electromagnetic radiation (e.g. light), the term is often used to refer specifically to a Crookes radiometer ("light-mill"), a device invented in 1873 in which a rotor (having vanes which are dark on one side, and light on the other) in a partial vacuum spins when exposed to light.
