hasEquivalentCondition
P135628
predicate
Indicates that one condition is logically or functionally equivalent to another condition.
Observed surface forms (2)
| Surface form | Occurrences |
|---|---|
| equivalenceCondition | 5 |
| equivalentConditionFor | 1 |
Sample triples (8)
| Subject | Object |
|---|---|
| Henselian ring | every finite ring extension decomposes according to its residue field decomposition ⓘ |
| Henselian ring | idempotents of any finite algebra over the ring lift from the residue algebra ⓘ |
| Artin–Wedderburn theorem | ring being semisimple via predicate surface "equivalentConditionFor" ⓘ |
| Hopf–Rinow theorem | the manifold is complete as a metric space via predicate surface "equivalenceCondition" ⓘ |
| Hopf–Rinow theorem | the manifold is geodesically complete via predicate surface "equivalenceCondition" ⓘ |
| Hopf–Rinow theorem | closed and bounded subsets are compact via predicate surface "equivalenceCondition" ⓘ |
| Hopf–Rinow theorem | any two points can be joined by a minimizing geodesic via predicate surface "equivalenceCondition" ⓘ |
| Hopf–Rinow theorem | the exponential map at any point is defined on the whole tangent space via predicate surface "equivalenceCondition" ⓘ |