Skip to the graph Skip to filters Skip to details ‹ ›
× New to the atlas?
Start with a story or view Open a curated configuration, or follow a numbered story through the graph.
Explore stories and views Preparing the interactive atlas… arrow_upward arrow_back arrow_forward arrow_downward add remove fit_screen
Keyboard graph navigation: press N for concepts or E for relations; use arrow keys, Home, and End to move; Enter selects; Shift plus Enter selects and centers; plus and minus zoom; zero fits; Escape clears the selection. Use the visible viewport buttons as alternatives to dragging, wheel, and pinch gestures.
The interactive graph requires JavaScript. Read the user guide or Open the atlas directory .
Summary A total single-valued relation from a domain set to a codomain set.
Record metadata
Canonical name Function
Concept ID function
Content version 2.3.0
Alternate terminology No alternate terminology is currently authored for this record. Data subset f ⊆ X × Y f \subseteq X\times Y f ⊆ X × Y Axioms / constraints for every x ∈ X x\in X x ∈ X there exists exactly one y ∈ Y y\in Y y ∈ Y with ( x , y ) ∈ f (x,y)\in f ( x , y ) ∈ f Incoming relations (arrows to this concept) Each relation below ends at this concept.
This is an authored directed relation from the source endpoint to the target endpoint.
Relation ID e_relation_function
Relation type Impose axiom impose-axiom
Direction source → target
Endpoint roles source: Builds toward; target: Built from
Authored annotation + total and single-valued Authored explanation Specialize to a relation R ⊆ X × Y R\subseteq X\times Y R ⊆ X × Y that is total and single-valued in X X X ; this is exactly a function X → Y X\to Y X → Y .
How to interpret this relation type Keep the existing data and select the subclass satisfying an additional law, existence condition, finiteness condition, or other property.
Outgoing relations (arrows from this concept) Each relation below starts at this concept.
This is an authored directed relation from the source endpoint to the target endpoint.
Relation ID calculus_variations_functionals
Relation type Framework specialization framework-specialization
Direction source → target
Endpoint roles source: Specializes to; target: Special case or refinement of
Authored annotation functionals and variations Authored explanation Calculus of variations studies functionals on spaces of functions, curves, or fields.
How to interpret this relation type A more specific theory, model, entity class, or regime is obtained by restricting or extending the scope of a broader framework.
This is an authored directed relation from the source endpoint to the target endpoint.
Relation ID e_function_family
Relation type Representation / equivalence representation-equivalence
Direction source → target
Endpoint roles source: Representation / equivalence with; target: Representation / equivalence with
Authored annotation read domain as index set Authored explanation An indexed family is a function whose domain is treated as an index set.
How to interpret this relation type Reinterpret an object, pass to an equivalent presentation, or relate canonically corresponding structures; the carrier may change.
This is an authored directed relation from the source endpoint to the target endpoint.
Relation ID function_to_continuous_map_junction
Relation type Combine compatible structures combine-compatible
Direction source → target
Endpoint roles source: Builds toward; target: Built from
Authored annotation underlying function Authored explanation Supply the function whose domain and codomain are equipped with the two topologies.
How to interpret this relation type Feed several structures into a construction junction and impose compatibility between them.
This is an authored directed relation from the source endpoint to the target endpoint.
Relation ID j_covering_space__map
Relation type Combine compatible structures combine-compatible
Direction source → target
Endpoint roles source: Builds toward; target: Built from
Authored annotation projection map Authored explanation Supply the map from total space to base space.
How to interpret this relation type Feed several structures into a construction junction and impose compatibility between them.
This is an authored directed relation from the source endpoint to the target endpoint.
Relation ID function_to_differentiable_function_junction
Relation type Combine compatible structures combine-compatible
Direction source → target
Endpoint roles source: Builds toward; target: Built from
Authored annotation underlying function Authored explanation Supply the function whose domain and codomain receive the normed-vector-space structures used for differentiation.
How to interpret this relation type Feed several structures into a construction junction and impose compatibility between them.
This is an authored directed relation from the source endpoint to the target endpoint.
Relation ID j_fiber_bundle__map
Relation type Combine compatible structures combine-compatible
Direction source → target
Endpoint roles source: Builds toward; target: Built from
Authored annotation projection map Authored explanation Supply the map from total space to base space.
How to interpret this relation type Feed several structures into a construction junction and impose compatibility between them.
This is an authored directed relation from the source endpoint to the target endpoint.
Relation ID j_measurable_function__function
Relation type Combine compatible structures combine-compatible
Direction source → target
Endpoint roles source: Builds toward; target: Built from
Authored annotation underlying function Authored explanation Supply the map between the underlying sets.
How to interpret this relation type Feed several structures into a construction junction and impose compatibility between them.
This is an authored directed relation from the source endpoint to the target endpoint.
Relation ID function_to_self_map
Relation type Impose axiom impose-axiom
Direction source → target
Endpoint roles source: Builds toward; target: Built from
Authored annotation identify domain and codomain Authored explanation Restrict a function f : X → Y f:X\to Y f : X → Y by requiring Y = X Y=X Y = X . The resulting endofunction can be iterated, whereas an arbitrary function with different domain and codomain cannot be composed with itself.
How to interpret this relation type Keep the existing data and select the subclass satisfying an additional law, existence condition, finiteness condition, or other property.