AquiferAn aquifer is an underground layer of water-bearing, permeable rock, rock fractures, or unconsolidated materials (gravel, sand, or silt). Groundwater from aquifers can be extracted using a water well. Water from aquifers can be sustainably harvested through the use of qanats. Aquifers vary greatly in their characteristics. The study of water flow in aquifers and the characterization of aquifers is called hydrogeology.
Binary relationIn mathematics, a binary relation associates elements of one set, called the domain, with elements of another set, called the codomain. A binary relation over sets X and Y is a new set of ordered pairs (x, y) consisting of elements x in X and y in Y. It is a generalization of the more widely understood idea of a unary function. It encodes the common concept of relation: an element x is related to an element y, if and only if the pair (x, y) belongs to the set of ordered pairs that defines the binary relation.
PhreaticPhreatic is a term used in hydrology to refer to aquifers, in speleology to refer to cave passages, and in volcanology to refer to a type of volcanic eruption. The term phreatic (the word originates from the Greek , meaning "well" or "spring") is used in hydrology and the earth sciences to refer to matters relating to ground water (an aquifer) below the water table. The term 'phreatic surface' indicates the location where the pore water pressure is under atmospheric conditions (i.e. the pressure head is zero).
KarstKarst is a topography formed from the dissolution of soluble carbonate rocks such as limestone, dolomite, and gypsum. It is characterized by features like poljes above and drainage systems with sinkholes and caves underground. It has also been documented for more weathering-resistant rocks, such as quartzite, given the right conditions. Subterranean drainage may limit surface water, with few to no rivers or lakes.
Finitary relationIn mathematics, a finitary relation over sets X1, ..., Xn is a subset of the Cartesian product X1 × ⋯ × Xn; that is, it is a set of n-tuples (x1, ..., xn) consisting of elements xi in Xi. Typically, the relation describes a possible connection between the elements of an n-tuple. For example, the relation "x is divisible by y and z" consists of the set of 3-tuples such that when substituted to x, y and z, respectively, make the sentence true. The non-negative integer n giving the number of "places" in the relation is called the arity, adicity or degree of the relation.
Vadose zoneThe vadose zone, also termed the unsaturated zone, is the part of Earth between the land surface and the top of the phreatic zone, the position at which the groundwater (the water in the soil's pores) is at atmospheric pressure ("vadose" is from the Latin word for "shallow"). Hence, the vadose zone extends from the top of the ground surface to the water table. Water in the vadose zone has a pressure head less than atmospheric pressure, and is retained by a combination of adhesion (funiculary groundwater), and capillary action (capillary groundwater).
Reflexive relationIn mathematics, a binary relation R on a set X is reflexive if it relates every element of X to itself. An example of a reflexive relation is the relation "is equal to" on the set of real numbers, since every real number is equal to itself. A reflexive relation is said to have the reflexive property or is said to possess reflexivity. Along with symmetry and transitivity, reflexivity is one of three properties defining equivalence relations.
CaveA cave or cavern is a natural void in the ground, specifically a space large enough for a human to enter. Caves often form by the weathering of rock and often extend deep underground. The word cave can refer to smaller openings such as sea caves, rock shelters, and grottos, that extend a relatively short distance into the rock and they are called exogene caves. Caves which extend further underground than the opening is wide are called endogene caves. Speleology is the science of exploration and study of all aspects of caves and the cave environment.
Ternary relationIn mathematics, a ternary relation or triadic relation is a finitary relation in which the number of places in the relation is three. Ternary relations may also be referred to as 3-adic, 3-ary, 3-dimensional, or 3-place. Just as a binary relation is formally defined as a set of pairs, i.e. a subset of the Cartesian product A × B of some sets A and B, so a ternary relation is a set of triples, forming a subset of the Cartesian product A × B × C of three sets A, B and C.
Groundwater flowIn hydrogeology, groundwater flow is defined as the "part of streamflow that has infiltrated the ground, entered the phreatic zone, and has been (or is at a particular time) discharged into a stream channel or springs; and seepage water." It is governed by the groundwater flow equation. Groundwater is water that is found underground in cracks and spaces in the soil, sand and rocks. Where water has filled these spaces is the phreatic (also called) saturated zone.
