Definition
In mathematics, a subset of a larger set is closed under a given operation on the larger set if performing that operation on members of the subset always produces a member of that subset. For example, the natural numbers are closed under addition, but not under subtraction: 1 − 2 is not a natural number, although both 1 and 2 are.
Related concepts
Algebra of setsAlgebraic closureAlgebraic setAlgebraic structureAssociative operationAxiomsBinary operationBinary relationCeiling functionClosed setClosure (computer science)Closure (topology)Closure operatorCommutative ringConjugate closureConvex hullConvex setCountableCyclic groupEquivalence relationEric W. WeissteinExistential quantifierField (algebra)Field (mathematics)Formal languageFunction (mathematics)Garrett BirkhoffGenerating setGeometryGreatest-lower-bound propertyGroup (mathematics)Group theoryIdeal (ring theory)IdempotentIdentity (mathematics)Identity elementIf and only ifInfix notationIntegral closureIntegral domainInverse elementKleene closureKuratowski closure axiomsLimit of a sequenceLinear algebraLinear combinationLinear spanMagma (algebra)MathWorldMathematical analysisMatroidMonotonicMultivariate functionNatural numberNormal subgroupNullaryOperation (mathematics)Ordered pairPartial functionPartial operationPartially ordered setPolynomialPreorderPrincipal idealProbability theoryRadical of an idealReflexive closureReflexive relationRoots of a polynomialScalar multiplicationSet (mathematics)Set inclusionSet intersectionSigma-algebraSpan (linear algebra)SubgroupSubsetSubstructure (mathematics)Symmetric closureSymmetric relationTopological closureTopological spaceTransitive closureTransitive relationTransitive setUnary operationUniversally quantifiedVector spaceZariski-closedZariski closure
14 concepts already in your glossary