|
Extended Norm
Extension, extend or extended may refer to: Mathematics Logic or set theory * Axiom of extensionality * Extensible cardinal * Extension (model theory) * Extension (proof theory) * Extension (predicate logic), the set of tuples of values that satisfy the predicate * Extension (semantics), the set of things to which a property applies * Extension (simplicial set) * Extension by definitions * Extensional definition, a definition that enumerates every individual a term applies to * Extensionality Other uses * Extension of a function, defined on a larger domain * Extension of a polyhedron, in geometry * Extension of a line segment (finite) into an infinite line (e.g., extended base) * Exterior algebra, Grassmann's theory of extension, in geometry * Field extension, in Galois theory * Group extension, in abstract algebra and homological algebra * Homotopy extension property, in topology * Kolmogorov extension theorem, in probability theory * Linear extension, in order theory * Shea ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Axiom Of Extensionality
The axiom of extensionality, also called the axiom of extent, is an axiom used in many forms of axiomatic set theory, such as Zermelo–Fraenkel set theory. The axiom defines what a Set (mathematics), set is. Informally, the axiom means that the two set (mathematics), sets ''A'' and ''B'' are equal if and only if ''A'' and ''B'' have the same members. Etymology The term ''extensionality'', as used in '''Axiom of Extensionality has its roots in logic. An intensional definition describes the necessary and sufficient conditions for a term to apply to an object. For example: "An even number is an integer which is divisible by 2." An extensional definition instead lists all objects where the term applies. For example: "An even number is any one of the following integers: 0, 2, 4, 6, 8..., -2, -4, -6, -8..." In logic, the Extension (logic), extension of a Predicate (mathematical logic), predicate is the set of all things for which the predicate is true. The logical term was introduce ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |