isBoundedBelow
P75151
predicate
Indicates that every value in a set or function is greater than or equal to some fixed lower bound.
Observed surface forms (1)
- lowerBound ×6
Sample triples (7)
| Subject | Object |
|---|---|
| Hamiltonian (time translation generator) | true for stable relativistic theories ⓘ |
| Erdős–Szekeres theorem | ES(n) ≥ 2^{n-2} + 1 via predicate surface "lowerBound" ⓘ |
| Graham–Pollak theorem | n−1 complete bipartite subgraphs are necessary to partition the edges of K_n. via predicate surface "lowerBound" ⓘ |
| Belgian sovereign airspace | Belgian land surface via predicate surface "lowerBound" NERFINISHED ⓘ |
| Belgian sovereign airspace | Belgian internal waters via predicate surface "lowerBound" NERFINISHED ⓘ |
| Belgian sovereign airspace | Belgian territorial sea via predicate surface "lowerBound" NERFINISHED ⓘ |
| Bloch theorem | Bloch constant has known positive lower bounds via predicate surface "lowerBound" NERFINISHED ⓘ |