Get it on Google Play
New! Download Unionpedia on your Android™ device!
Faster access than browser!

Closure (mathematics)

Index Closure (mathematics)

A set has closure under an operation if performance of that operation on members of the set always produces a member of the same set; in this case we also say that the set is closed under the operation. [1]

62 relations: Abstract algebra, Algebra of sets, Algebraic closure, Arity, Axiom, Binary relation, Clopen set, Closed set, Closure (topology), Commutative algebra, Conjugate closure, Convex hull, Convex set, Countable set, Field (mathematics), First-countable space, Formal language, Galois connection, Generating set of a group, Geometry, Group (mathematics), Group theory, Idempotence, If and only if, Integer, Integral element, Interval (mathematics), Inverse element, Kleene star, Kuratowski closure axioms, Limit of a sequence, Limit point, Linear algebra, Linear combination, Linear span, Linear subspace, Mathematical analysis, Matroid, Monad (category theory), Net (mathematics), Open set, Operation (mathematics), Ordinal number, Predicate (mathematical logic), Preorder, Probability theory, Rewriting, Set (mathematics), Set theory, Sigma-algebra, ..., Subgroup, Subset, Symmetric closure, Symmetric relation, Term algebra, Tight closure, Topological space, Topology, Transitive closure, Unary operation, Upper set, Vector space. Expand index (12 more) »

Abstract algebra

In algebra, which is a broad division of mathematics, abstract algebra (occasionally called modern algebra) is the study of algebraic structures.

New!!: Closure (mathematics) and Abstract algebra · See more »

Algebra of sets

The algebra of sets defines the properties and laws of sets, the set-theoretic operations of union, intersection, and complementation and the relations of set equality and set inclusion.

New!!: Closure (mathematics) and Algebra of sets · See more »

Algebraic closure

In mathematics, particularly abstract algebra, an algebraic closure of a field K is an algebraic extension of K that is algebraically closed.

New!!: Closure (mathematics) and Algebraic closure · See more »


In logic, mathematics, and computer science, the arity of a function or operation is the number of arguments or operands that the function takes.

New!!: Closure (mathematics) and Arity · See more »


An axiom or postulate is a statement that is taken to be true, to serve as a premise or starting point for further reasoning and arguments.

New!!: Closure (mathematics) and Axiom · See more »

Binary relation

In mathematics, a binary relation on a set A is a set of ordered pairs of elements of A. In other words, it is a subset of the Cartesian product A2.

New!!: Closure (mathematics) and Binary relation · See more »

Clopen set

In topology, a clopen set (a portmanteau of closed-open set) in a topological space is a set which is both open and closed.

New!!: Closure (mathematics) and Clopen set · See more »

Closed set

In geometry, topology, and related branches of mathematics, a closed set is a set whose complement is an open set.

New!!: Closure (mathematics) and Closed set · See more »

Closure (topology)

In mathematics, the closure of a subset S of points in a topological space consists of all points in S together with all limit points of S. The closure of S may equivalently be defined as the union of S and its boundary, and also as the intersection of all closed sets containing S. Intuitively, the closure can be thought of as all the points that are either in S or "near" S. A point which is in the closure of S is a point of closure of S. The notion of closure is in many ways dual to the notion of interior.

New!!: Closure (mathematics) and Closure (topology) · See more »

Commutative algebra

Commutative algebra is the branch of algebra that studies commutative rings, their ideals, and modules over such rings.

New!!: Closure (mathematics) and Commutative algebra · See more »

Conjugate closure

In group theory, the conjugate closure of a subset S of a group G is the subgroup of G generated by SG, i.e. the closure of SG under the group operation, where SG is the set of the conjugates of the elements of S: The conjugate closure of S is denoted G> or G. The conjugate closure of any subset S of a group G is always a normal subgroup of G; in fact, it is the smallest (by inclusion) normal subgroup of G which contains S. For this reason, the conjugate closure is also called the normal closure of S or the normal subgroup generated by S. The normal closure can also be characterized as the intersection of all normal subgroups of G which contain S. Any normal subgroup is equal to its normal closure.

New!!: Closure (mathematics) and Conjugate closure · See more »

Convex hull

In mathematics, the convex hull or convex envelope or convex closure of a set X of points in the Euclidean plane or in a Euclidean space (or, more generally, in an affine space over the reals) is the smallest convex set that contains X. For instance, when X is a bounded subset of the plane, the convex hull may be visualized as the shape enclosed by a rubber band stretched around X., p. 3.

New!!: Closure (mathematics) and Convex hull · See more »

Convex set

In convex geometry, a convex set is a subset of an affine space that is closed under convex combinations.

New!!: Closure (mathematics) and Convex set · See more »

Countable set

In mathematics, a countable set is a set with the same cardinality (number of elements) as some subset of the set of natural numbers.

New!!: Closure (mathematics) and Countable set · See more »

Field (mathematics)

In mathematics, a field is a set on which addition, subtraction, multiplication, and division are defined, and behave as when they are applied to rational and real numbers.

New!!: Closure (mathematics) and Field (mathematics) · See more »

First-countable space

In topology, a branch of mathematics, a first-countable space is a topological space satisfying the "first axiom of countability".

New!!: Closure (mathematics) and First-countable space · See more »

Formal language

In mathematics, computer science, and linguistics, a formal language is a set of strings of symbols together with a set of rules that are specific to it.

New!!: Closure (mathematics) and Formal language · See more »

Galois connection

In mathematics, especially in order theory, a Galois connection is a particular correspondence (typically) between two partially ordered sets (posets).

New!!: Closure (mathematics) and Galois connection · See more »

Generating set of a group

In abstract algebra, a generating set of a group is a subset such that every element of the group can be expressed as the combination (under the group operation) of finitely many elements of the subset and their inverses.

New!!: Closure (mathematics) and Generating set of a group · See more »


Geometry (from the γεωμετρία; geo- "earth", -metron "measurement") is a branch of mathematics concerned with questions of shape, size, relative position of figures, and the properties of space.

New!!: Closure (mathematics) and Geometry · See more »

Group (mathematics)

In mathematics, a group is an algebraic structure consisting of a set of elements equipped with an operation that combines any two elements to form a third element and that satisfies four conditions called the group axioms, namely closure, associativity, identity and invertibility.

New!!: Closure (mathematics) and Group (mathematics) · See more »

Group theory

In mathematics and abstract algebra, group theory studies the algebraic structures known as groups.

New!!: Closure (mathematics) and Group theory · See more »


Idempotence is the property of certain operations in mathematics and computer science that they can be applied multiple times without changing the result beyond the initial application.

New!!: Closure (mathematics) and Idempotence · See more »

If and only if

In logic and related fields such as mathematics and philosophy, if and only if (shortened iff) is a biconditional logical connective between statements.

New!!: Closure (mathematics) and If and only if · See more »


An integer (from the Latin ''integer'' meaning "whole")Integer 's first literal meaning in Latin is "untouched", from in ("not") plus tangere ("to touch").

New!!: Closure (mathematics) and Integer · See more »

Integral element

In commutative algebra, an element b of a commutative ring B is said to be integral over A, a subring of B, if there are n ≥ 1 and a_j \in A such that That is to say, b is a root of a monic polynomial over A. If every element of B is integral over A, then it is said that B is integral over A, or equivalently B is an integral extension of A. If A, B are fields, then the notions of "integral over" and of an "integral extension" are precisely "algebraic over" and "algebraic extensions" in field theory (since the root of any polynomial is the root of a monic polynomial).

New!!: Closure (mathematics) and Integral element · See more »

Interval (mathematics)

In mathematics, a (real) interval is a set of real numbers with the property that any number that lies between two numbers in the set is also included in the set.

New!!: Closure (mathematics) and Interval (mathematics) · See more »

Inverse element

In abstract algebra, the idea of an inverse element generalises concepts of a negation (sign reversal) in relation to addition, and a reciprocal in relation to multiplication.

New!!: Closure (mathematics) and Inverse element · See more »

Kleene star

In mathematical logic and computer science, the Kleene star (or Kleene operator or Kleene closure) is a unary operation, either on sets of strings or on sets of symbols or characters.

New!!: Closure (mathematics) and Kleene star · See more »

Kuratowski closure axioms

In topology and related branches of mathematics, the Kuratowski closure axioms are a set of axioms that can be used to define a topological structure on a set.

New!!: Closure (mathematics) and Kuratowski closure axioms · See more »

Limit of a sequence

As the positive integer n becomes larger and larger, the value n\cdot \sin\bigg(\frac1\bigg) becomes arbitrarily close to 1.

New!!: Closure (mathematics) and Limit of a sequence · See more »

Limit point

In mathematics, a limit point (or cluster point or accumulation point) of a set S in a topological space X is a point x that can be "approximated" by points of S in the sense that every neighbourhood of x with respect to the topology on X also contains a point of S other than x itself.

New!!: Closure (mathematics) and Limit point · See more »

Linear algebra

Linear algebra is the branch of mathematics concerning linear equations such as linear functions such as and their representations through matrices and vector spaces.

New!!: Closure (mathematics) and Linear algebra · See more »

Linear combination

In mathematics, a linear combination is an expression constructed from a set of terms by multiplying each term by a constant and adding the results (e.g. a linear combination of x and y would be any expression of the form ax + by, where a and b are constants).

New!!: Closure (mathematics) and Linear combination · See more »

Linear span

In linear algebra, the linear span (also called the linear hull or just span) of a set of vectors in a vector space is the intersection of all subspaces containing that set.

New!!: Closure (mathematics) and Linear span · See more »

Linear subspace

In linear algebra and related fields of mathematics, a linear subspace, also known as a vector subspace, or, in the older literature, a linear manifold, is a vector space that is a subset of some other (higher-dimension) vector space.

New!!: Closure (mathematics) and Linear subspace · See more »

Mathematical analysis

Mathematical analysis is the branch of mathematics dealing with limits and related theories, such as differentiation, integration, measure, infinite series, and analytic functions.

New!!: Closure (mathematics) and Mathematical analysis · See more »


In combinatorics, a branch of mathematics, a matroid is a structure that abstracts and generalizes the notion of linear independence in vector spaces.

New!!: Closure (mathematics) and Matroid · See more »

Monad (category theory)

In category theory, a branch of mathematics, a monad (also triple, triad, standard construction and fundamental construction) is an endofunctor (a functor mapping a category to itself), together with two natural transformations.

New!!: Closure (mathematics) and Monad (category theory) · See more »

Net (mathematics)

In mathematics, more specifically in general topology and related branches, a net or Moore–Smith sequence is a generalization of the notion of a sequence.

New!!: Closure (mathematics) and Net (mathematics) · See more »

Open set

In topology, an open set is an abstract concept generalizing the idea of an open interval in the real line.

New!!: Closure (mathematics) and Open set · See more »

Operation (mathematics)

In mathematics, an operation is a calculation from zero or more input values (called operands) to an output value.

New!!: Closure (mathematics) and Operation (mathematics) · See more »

Ordinal number

In set theory, an ordinal number, or ordinal, is one generalization of the concept of a natural number that is used to describe a way to arrange a collection of objects in order, one after another.

New!!: Closure (mathematics) and Ordinal number · See more »

Predicate (mathematical logic)

In mathematical logic, a predicate is commonly understood to be a Boolean-valued function P: X→, called the predicate on X. However, predicates have many different uses and interpretations in mathematics and logic, and their precise definition, meaning and use will vary from theory to theory.

New!!: Closure (mathematics) and Predicate (mathematical logic) · See more »


In mathematics, especially in order theory, a preorder or quasiorder is a binary relation that is reflexive and transitive.

New!!: Closure (mathematics) and Preorder · See more »

Probability theory

Probability theory is the branch of mathematics concerned with probability.

New!!: Closure (mathematics) and Probability theory · See more »


In mathematics, computer science, and logic, rewriting covers a wide range of (potentially non-deterministic) methods of replacing subterms of a formula with other terms.

New!!: Closure (mathematics) and Rewriting · See more »

Set (mathematics)

In mathematics, a set is a collection of distinct objects, considered as an object in its own right.

New!!: Closure (mathematics) and Set (mathematics) · See more »

Set theory

Set theory is a branch of mathematical logic that studies sets, which informally are collections of objects.

New!!: Closure (mathematics) and Set theory · See more »


In mathematical analysis and in probability theory, a σ-algebra (also σ-field) on a set X is a collection Σ of subsets of X that includes the empty subset, is closed under complement, and is closed under countable unions and countable intersections.

New!!: Closure (mathematics) and Sigma-algebra · See more »


In group theory, a branch of mathematics, given a group G under a binary operation ∗, a subset H of G is called a subgroup of G if H also forms a group under the operation ∗.

New!!: Closure (mathematics) and Subgroup · See more »


In mathematics, a set A is a subset of a set B, or equivalently B is a superset of A, if A is "contained" inside B, that is, all elements of A are also elements of B. A and B may coincide.

New!!: Closure (mathematics) and Subset · See more »

Symmetric closure

In mathematics, the symmetric closure of a binary relation R on a set X is the smallest symmetric relation on X that contains R. For example, if X is a set of airports and xRy means "there is a direct flight from airport x to airport y", then the symmetric closure of R is the relation "there is a direct flight either from x to y or from y to x".

New!!: Closure (mathematics) and Symmetric closure · See more »

Symmetric relation

In mathematics and other areas, a binary relation R over a set X is symmetric if it holds for all a and b in X that a is related to b if and only if b is related to a. In mathematical notation, this is: Symmetry, along with reflexivity and transitivity, are the three defining properties of an equivalence relation.

New!!: Closure (mathematics) and Symmetric relation · See more »

Term algebra

In universal algebra and mathematical logic, a term algebra is a freely generated algebraic structure over a given signature.

New!!: Closure (mathematics) and Term algebra · See more »

Tight closure

In mathematics, in the area of commutative algebra, tight closure is an operation defined on ideals in positive characteristic.

New!!: Closure (mathematics) and Tight closure · See more »

Topological space

In topology and related branches of mathematics, a topological space may be defined as a set of points, along with a set of neighbourhoods for each point, satisfying a set of axioms relating points and neighbourhoods.

New!!: Closure (mathematics) and Topological space · See more »


In mathematics, topology (from the Greek τόπος, place, and λόγος, study) is concerned with the properties of space that are preserved under continuous deformations, such as stretching, crumpling and bending, but not tearing or gluing.

New!!: Closure (mathematics) and Topology · See more »

Transitive closure

In mathematics, the transitive closure of a binary relation R on a set X is the smallest relation on X that contains R and is transitive.

New!!: Closure (mathematics) and Transitive closure · See more »

Unary operation

In mathematics, a unary operation is an operation with only one operand, i.e. a single input.

New!!: Closure (mathematics) and Unary operation · See more »

Upper set

In mathematics, an upper set (also called an upward closed set or just an upset) of a partially ordered set (X,≤) is a subset U with the property that, if x is in U and x≤y, then y is in U. The dual notion is lower set (alternatively, down set, decreasing set, initial segment, semi-ideal; the set is downward closed), which is a subset L with the property that, if x is in L and y≤x, then y is in L. The terms order ideal or ideal are sometimes used as synonyms for lower set.

New!!: Closure (mathematics) and Upper set · See more »

Vector space

A vector space (also called a linear space) is a collection of objects called vectors, which may be added together and multiplied ("scaled") by numbers, called scalars.

New!!: Closure (mathematics) and Vector space · See more »

Redirects here:

Abstract closure, Abstract closure operator, Additively closed, Axiom of closure, Closed under, Closure (binary operation), Closure property, Closure property of multiplication, Congruence closure, Equivalence closure, P closure, P closure (binary relation), Reflexive symmetric transitive closure, Reflexive transitive closure, Reflexive transitive symmetric closure, Set closure (mathematics).


[1] https://en.wikipedia.org/wiki/Closure_(mathematics)

Hey! We are on Facebook now! »