closedUnder
P19426
predicate
Indicates that applying a specified operation to elements within a set always produces a result that is also an element of that same set.
All labels observed (2)
| Label | Occurrences |
|---|---|
| closedUnder canonical | 61 |
| isClosedUnder | 8 |
Description generation (PDg)
The one-sentence description above was generated by prompting gpt-5.1 with the predicate name and this instruction.
Instruction
Given a predicate that represents a relationship or action between entities, generate a one-sentence description explaining its meaning. # Instructions Focus on describing the relationship, not the entities themselves. # Response Format Begin the description with \' Indicates...\'
Input
Predicate: closedUnder
Generated description
Indicates that applying a specified operation to elements within a set always produces a result that is also an element of that same set.
Sample triples (69)
| Subject | Object |
|---|---|
| Borel set | complements ⓘ |
| Schwartz–Bruhat space | Fourier transform NERFINISHED ⓘ |
| Schwartz–Bruhat space | convolution ⓘ |
| Schwartz–Bruhat space | translations ⓘ |
| Schwartz–Bruhat space | multiplication by characters ⓘ |
| Schwartz space | addition ⓘ |
| Schwartz space | scalar multiplication ⓘ |
| Schwartz space | differentiation ⓘ |
| Schwartz space | multiplication by polynomials ⓘ |
| Schwartz space | Fourier transform NERFINISHED ⓘ |
| Bose–Mesner algebra | matrix addition ⓘ |
| Bose–Mesner algebra | matrix multiplication ⓘ |
| Bose–Mesner algebra | scalar multiplication ⓘ |
| Serre fibration | pullbacks ⓘ |
| Serre fibration | composition ⓘ |
| Tychonoff space | taking subspaces ⓘ |
| Tychonoff space | taking products ⓘ |
| Tychonoff space | taking sums (topological disjoint unions) ⓘ |
| Tychonoff space | taking continuous images that are Hausdorff ⓘ |