closureProperty
P78666
predicate
Indicates that applying a specified operation to elements of a set always produces an element that is still within that same set.
Sample triples (39)
| Subject | Object |
|---|---|
|
complexity class BPP
surface form:
BPP
|
closed under complement ⓘ |
|
complexity class BPP
surface form:
BPP
|
closed under intersection ⓘ |
|
complexity class BPP
surface form:
BPP
|
closed under polynomial-time many-one reductions ⓘ |
|
complexity class BPP
surface form:
BPP
|
closed under union ⓘ |
| Borel set | closed under relative complementation within the σ-algebra ⓘ |
| Dedekind domain | finite integral extensions of Dedekind domains are Dedekind domains (under suitable hypotheses) ⓘ |
| Dedekind domain | localization at multiplicative sets yields Dedekind domains (under suitable conditions) ⓘ |
| Hadamard product (of power series) | set of all power series over a field is closed under Hadamard product ⓘ |
|
Hausdorff
surface form:
Hausdorff space
|
arbitrary products of Hausdorff spaces are Hausdorff ⓘ |
|
Hausdorff
surface form:
Hausdorff space
|
closed subspaces of Hausdorff spaces are Hausdorff ⓘ |
|
Hausdorff
surface form:
Hausdorff space
|
finite products of Hausdorff spaces are Hausdorff ⓘ |
|
Hausdorff
surface form:
Hausdorff space
|
subspaces of Hausdorff spaces are Hausdorff ⓘ |
|
Karp reductions
surface form:
Karp reduction
|
transitive ⓘ |
| Kleene star | preserves context-freeness of languages ⓘ |
| Kleene star | preserves regularity of languages ⓘ |
|
Kolmogorov space (T0 space)
surface form:
Kolmogorov space
|
arbitrary products of T0 spaces are T0 ⓘ |
|
Kolmogorov space (T0 space)
surface form:
Kolmogorov space
|
finite products of T0 spaces are T0 ⓘ |
|
Kolmogorov space (T0 space)
surface form:
Kolmogorov space
|
quotients of T0 spaces need not be T0 ⓘ |
|
Kolmogorov space (T0 space)
surface form:
Kolmogorov space
|
subspaces of T0 spaces are T0 ⓘ |
|
Liouville numbers
surface form:
Liouville number
|
product of a nonzero rational number and a Liouville number is a Liouville number ⓘ |
|
Liouville numbers
surface form:
Liouville number
|
set of Liouville numbers is closed under addition with rationals ⓘ |
|
Liouville numbers
surface form:
Liouville number
|
set of Liouville numbers is closed under multiplication by nonzero rationals ⓘ |
|
Liouville numbers
surface form:
Liouville number
|
sum of a Liouville number and a rational number is a Liouville number ⓘ |
| NFA | closed under Kleene star ⓘ |
| NFA | closed under complement ⓘ |
| NFA | closed under concatenation ⓘ |
| NFA | closed under intersection ⓘ |
| NFA | closed under union ⓘ |
| NP-completeness | closed under polynomial-time many-one reductions ⓘ |
| NP-hardness | closed under polynomial-time reductions ⓘ |
| Pauli group | closed under matrix multiplication ⓘ |
| Pauli group | closed under taking inverses ⓘ |
|
complexity class RP
surface form:
RP
|
closed under intersection with deterministic polynomial-time languages ⓘ |
|
complexity class RP
surface form:
RP
|
closed under polynomial-time many-one reductions ⓘ |
|
complexity class RP
surface form:
RP
|
closed under union with deterministic polynomial-time languages ⓘ |
| Rabin automaton | closed under complementation ⓘ |
| Rabin automaton | closed under intersection ⓘ |
| Rabin automaton | closed under union ⓘ |
| T1 separation axiom | The closure of a singleton {x} is {x} itself. ⓘ |