20 relations: Axiom of extensionality, Codomain, Constructivism (mathematics), Decidability (logic), Duck typing, Equality (mathematics), Equivalence class, Equivalence relation, Extension (predicate logic), Function (mathematics), Homotopy type theory, Identity of indiscernibles, Intension, Logic, Natural number, NLab, Ordered pair, Setoid, Structural type system, Type theory.
Axiom of extensionality
In axiomatic set theory and the branches of logic, mathematics, and computer science that use it, the axiom of extensionality, or axiom of extension, is one of the axioms of Zermelo–Fraenkel set theory.
New!!: Extensionality and Axiom of extensionality · See more »
Codomain
In mathematics, the codomain or target set of a function is the set into which all of the output of the function is constrained to fall.
New!!: Extensionality and Codomain · See more »
Constructivism (mathematics)
In the philosophy of mathematics, constructivism asserts that it is necessary to find (or "construct") a mathematical object to prove that it exists.
New!!: Extensionality and Constructivism (mathematics) · See more »
Decidability (logic)
In logic, the term decidable refers to the decision problem, the question of the existence of an effective method for determining membership in a set of formulas, or, more precisely, an algorithm that can and will return a boolean true or false value that is correct (instead of looping indefinitely, crashing, returning "don't know" or returning a wrong answer).
New!!: Extensionality and Decidability (logic) · See more »
Duck typing
In computer programming, duck typing is an application of the duck test in type safety.
New!!: Extensionality and Duck typing · See more »
Equality (mathematics)
In mathematics, equality is a relationship between two quantities or, more generally two mathematical expressions, asserting that the quantities have the same value, or that the expressions represent the same mathematical object.
New!!: Extensionality and Equality (mathematics) · See more »
Equivalence class
In mathematics, when the elements of some set S have a notion of equivalence (formalized as an equivalence relation) defined on them, then one may naturally split the set S into equivalence classes.
New!!: Extensionality and Equivalence class · See more »
Equivalence relation
In mathematics, an equivalence relation is a binary relation that is reflexive, symmetric and transitive.
New!!: Extensionality and Equivalence relation · See more »
Extension (predicate logic)
The extension of a predicatea truth-valued functionis the set of tuples of values that, used as arguments, satisfy the predicate.
New!!: Extensionality and Extension (predicate logic) · See more »
Function (mathematics)
In mathematics, a function was originally the idealization of how a varying quantity depends on another quantity.
New!!: Extensionality and Function (mathematics) · See more »
Homotopy type theory
In mathematical logic and computer science, homotopy type theory (HoTT) refers to various lines of development of intensional type theory, based on the interpretation of types as objects to which the intuition of (abstract) homotopy theory applies.
New!!: Extensionality and Homotopy type theory · See more »
Identity of indiscernibles
The identity of indiscernibles is an ontological principle that states that there cannot be separate objects or entities that have all their properties in common.
New!!: Extensionality and Identity of indiscernibles · See more »
Intension
In linguistics, logic, philosophy, and other fields, an intension is any property or quality connoted by a word, phrase, or another symbol.
New!!: Extensionality and Intension · See more »
Logic
Logic (from the logikḗ), originally meaning "the word" or "what is spoken", but coming to mean "thought" or "reason", is a subject concerned with the most general laws of truth, and is now generally held to consist of the systematic study of the form of valid inference.
New!!: Extensionality and Logic · See more »
Natural number
In mathematics, the natural numbers are those used for counting (as in "there are six coins on the table") and ordering (as in "this is the third largest city in the country").
New!!: Extensionality and Natural number · See more »
NLab
The nLab is a wiki for research-level notes, expositions and collaborative work, including original research, in mathematics, physics, and philosophy, with a focus on methods from category theory and homotopy theory.
New!!: Extensionality and NLab · See more »
Ordered pair
In mathematics, an ordered pair (a, b) is a pair of objects.
New!!: Extensionality and Ordered pair · See more »
Setoid
In mathematics, a setoid (X, ~) is a set (or type) X equipped with an equivalence relation ~. A Setoid may also be called E-set, Bishop set, or extensional set.
New!!: Extensionality and Setoid · See more »
Structural type system
A structural type system (or property-based type system) is a major class of type system, in which type compatibility and equivalence are determined by the type's actual structure or definition, and not by other characteristics such as its name or place of declaration.
New!!: Extensionality and Structural type system · See more »
Type theory
In mathematics, logic, and computer science, a type theory is any of a class of formal systems, some of which can serve as alternatives to set theory as a foundation for all mathematics.
New!!: Extensionality and Type theory · See more »
Redirects here:
Extensional equality, Extensional relation, Extensional relations.