Extension, extend or extended may refer to:
Mathematics
Logic or set theory
*
Axiom of extensionality
*
Extensible cardinal In mathematics, extendible cardinals are large cardinals introduced by , who was partly motivated by reflection principles. Intuitively, such a cardinal represents a point beyond which initial pieces of the universe of sets start to look simila ...
*
Extension (model theory)
In mathematical logic, an (induced) substructure or (induced) subalgebra is a structure whose domain is a subset of that of a bigger structure, and whose functions and relations are restricted to the substructure's domain. Some examples of subal ...
*
Extension (predicate logic)
The extension of a predicatea truth-valued functionis the set of tuples of values that, used as arguments, satisfy the predicate. Such a set of tuples is a relation.
Examples
For example, the statement "''d2'' is the weekday following ''d1''" can ...
, the set of tuples of values that satisfy the predicate
*
Extension (semantics), the set of things to which a property applies
*
Extension by definitions
In mathematical logic, more specifically in the proof theory of first-order theories, extensions by definitions formalize the introduction of new symbols by means of a definition. For example, it is common in naive set theory to introduce a symbol ...
*
Extensional definition
In logic, extensional and intensional definitions are two key ways in which the objects, concepts, or referents a term refers to can be defined. They give meaning or denotation to a term.
Intensional definition
An intensional definition gives m ...
, a definition that enumerates every individual a term applies to
*
Extensionality
Other uses
*
Extension of a polyhedron In convex geometry and polyhedral combinatorics, the extension complexity is a convex polytope P is the smallest number of facets among convex polytopes Q that have P as a projection. In this context, Q is called an extended formulation of P; it m ...
, in geometry
*
Exterior algebra, Grassmann's theory of extension, in geometry
*
Homotopy extension property In mathematics, in the area of algebraic topology, the homotopy extension property indicates which homotopies defined on a subspace can be extended to a homotopy defined on a larger space. The homotopy extension property of cofibrations is dual ...
, in topology
*
Kolmogorov extension theorem, in probability theory
*
Linear extension
In order theory, a branch of mathematics, a linear extension of a partial order is a total order (or linear order) that is compatible with the partial order. As a classic example, the lexicographic order of totally ordered sets is a linear extens ...
, in order theory
*
Sheaf extension, in algebraic geometry
*
Tietze extension theorem, in topology
*
Whitney extension theorem
In mathematics, in particular in mathematical analysis, the Whitney extension theorem is a partial converse to Taylor's theorem. Roughly speaking, the theorem asserts that if ''A'' is a closed subset of a Euclidean space, then it is possible to e ...
, in differential geometry
*
Group extension, in abstract algebra and homological algebra
Music
*
Extension (music), notes that fit outside the standard range
*
''Extended'' (Solar Fields album), 2005
*
''Extension'' (George Braith album), 1964
*
''Extension'' (Clare Fischer album), 1963
*
''Extensions'' (Ahmad Jamal album), 1965
* ''Extensions'', a 1969 album by
Mystic Moods Orchestra
*
''Extensions'' (McCoy Tyner album), 1970
*
''Extensions'' (Dave Holland album), 1988
*
''Extensions'' (The Manhattan Transfer album), 1979
Places
*
Extension, British Columbia, a village near Regional District of Nanaimo, British Columbia, Canada
*
Extension, Louisiana, unincorporated community, United States
Science
*
Extension (geology), relating to the pulling apart of the Earth's crust and lithosphere
*
Extension (anatomy), a movement at a
joint that increases the angle between the two ends of the joint; the opposite of
flexion
* Extension locus, the gene locus of
Melanocortin 1 receptor
Other uses
*
Browser extension
A browser extension is a small software module for customizing a web browser. Browsers typically allow a variety of extensions, including user interface modifications, cookie management, ad blocking, and the custom scripting and styling of web p ...
, a small software module for customizing a web browser
*
Building extension
*
Continuing education
Continuing education (similar to further education in the United Kingdom and Republic of Ireland, Ireland) is an all-encompassing term within a broad list of post-secondary learning activities and programs. The term is used mainly in the United ...
, or extension school, a school for continuing education
*
Cooperative State Research, Education, and Extension Service, a former division of the U.S. Department of Agriculture
*
Extension (metaphysics) In metaphysics, extension signifies both 'stretching out' (Latin: ''extensio'') as well as later 'taking up space', and most recently, spreading one's internal mental cognition into the external world.
The history of thinking about ''extension'' ca ...
, the property of stretching out or taking up space
*
Extension (telephone)
In residential telephony, an extension telephone is an additional telephone wired to the same telephone line as another. In middle 20th century telephone jargon, the first telephone on a line was a "Main Station" and subsequent ones "Extensions" o ...
, telephone line attached to a main line or to a PBX or Centrex system
*
Extension cord
An extension cord (US), power extender, drop cord, or extension lead (UK) is a length of flexible electrical power cable (flex) with a AC power plugs and sockets, plug on one end and one or more sockets on the other end (usually of the same type ...
, power cable with a plug on one end and one or more sockets on the other end
*
Eyelash extensions, material applied to eyelashes
*
Hair extensions
Artificial hair integrations, more commonly known as hair extensions, hair weaves, and fake hair add length and fullness to human hair. Hair extensions are usually clipped, glued, or sewn on natural hair by incorporating additional human or syn ...
, strands of hair added to existing hair
* Extension, the building of community capacity by outsiders, for instance
agricultural extension
*
Filename extension
A filename extension, file name extension or file extension is a suffix to the name of a computer file (e.g., .txt, .docx, .md). The extension indicates a characteristic of the file contents or its intended use. A filename extension is typically d ...
, for computer file systems
See also
*
Extensive (disambiguation)
Extensive may refer to:
* Extensive property
* Extensive function
* Extensional In any of several fields of study that treat the use of signs — for example, in linguistics
Linguistics is the science, scientific study of human language. ...
{{Disambiguation