Sump is a term used in caving to describe a passage in a cave that is submerged under water. A sump may be static, with no inward or outward flow, or active, with continuous through-flow. Static sumps may also be connected underwater to active stream passage.

Short sumps may be passed simply by holding one's breath while ducking through the submerged section (for example Sump 1 in Swildon's Hole). This is known as "free diving" and can only be attempted if the sump is known to be short and not technically difficult (e.g. constricted or requiring navigation). Longer and more technically difficult sumps can only be passed by cave diving (as happened repeatedly in the recent exploration of Krubera Cave).

When practical, a sump can also be drained using buckets, pumps or siphons. Pumping the water away requires the inward flow of water into the sump to be less than the rate at which the pump empties it, as well as a suitable place to collect the emptied water. Upstream sumps have been successfully emptied using hoses to siphon water out of them, such as at the Sinkhole Dersios during exploration in 2005. The water was sent deeper into the sinkhole and the emptied sumps revealed virgin passage behind them. During a rescue from a beyond a downstream sump at Sarkhos Cave in 2002, water was pumped upstream into a dam constructed a few metres above the flooded passage.

A cave or cavern is a natural underground space large enough for a human to enter. The term applies to natural cavities some part of which is in total darkness. The word cave also refers to smaller spaces like rock shelters, sea caves, and grottos.

Speleology is the science of exploration and study of all aspects of caves and the environment which surrounds the caves. Exploring a cave for recreation or science may be called caving, potholing, or, in Canada and the United States, spelunking (see caving).

The formation and development of caves is known as speleogenesis. Caves are formed by various geologic processes. These may involve a combination of chemical processes, erosion from water, tectonic forces, microorganisms, pressure, atmospheric influences, and even digging.

Most caves are formed in limestone by dissolution.

Solutional caves are the most frequently occurring caves and such caves form in rock that is soluble, such as limestone, but can also form in other rocks, including chalk, dolomite, marble, salt, and gypsum. Rock is dissolved by natural acid in groundwater that seeps through bedding-planes, faults, joints and so on. Over geological epochs cracks expand to become caves or cave systems.