invariantUnder
P4235
predicate
Indicates that a property, structure, or quantity remains unchanged when a specified transformation or operation is applied.
All labels observed (31)
| Label | Occurrences |
|---|---|
| symmetry | 110 |
| invariantUnder canonical | 107 |
| isInvariantUnder | 36 |
| hasSymmetryGroup | 18 |
| invarianceProperty | 8 |
| isTranslationInvariant | 3 |
| invariance | 2 |
| isGaugeInvariantUnder | 2 |
| isScalarInvariantUnder | 2 |
| metricPreserved | 2 |
| symmetryConstraint | 2 |
| LorentzInvariant | 1 |
| actsTriviallyOn | 1 |
| coordinateInvariance | 1 |
| hasInvariance | 1 |
| impliesInvarianceUnder | 1 |
| invarianceGroup | 1 |
| isAreaPreservingBecause | 1 |
| isConformalInvariant | 1 |
| isConformallyInvariant | 1 |
| isHolomorphicallyInvariant | 1 |
| isHomogeneousUnder | 1 |
| isInvariant | 1 |
| isRotationInvariant | 1 |
| isTimeReversalInvariant | 1 |
| isTranslationInvariantOn | 1 |
| preservesBoundedness | 1 |
| preservesClosedness | 1 |
| preservesConvexity | 1 |
| preservesSmoothStructure | 1 |
| shiftInvariance | 1 |
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: invariantUnder
Generated description
Indicates that a property, structure, or quantity remains unchanged when a specified transformation or operation is applied.
Sample triples (312)
| Subject | Object |
|---|---|
| Liouville measure | canonical transformations ⓘ |
| Liouville measure | symplectomorphisms ⓘ |
| Liouville measure | Hamiltonian diffeomorphisms ⓘ |
| Brachyrhaphis roseni | bilateral symmetry via predicate surface "symmetry" ⓘ |
| Berry phase | reparameterization of evolution path ⓘ |
| BPST instanton | combined translations and rotations in Euclidean space ⓘ |
| Steenrod operations | homotopy equivalence ⓘ |
| Miquel point | choice of points on sides (one per side) ⓘ |
| Miquel point | cyclic permutation of triangle vertices ⓘ |
| Chow groups | rational equivalence of cycles ⓘ |
| Mevaniola | bilateral symmetry via predicate surface "symmetry" ⓘ |
| Fox n-coloring of knots | Reidemeister moves NERFINISHED ⓘ |