satisfiesInequality
P105609
predicate
Indicates that one quantity or expression fulfills the condition specified by a given inequality relation (such as <, ≤, >, or ≥).
Observed surface forms (5)
- givesInequality ×2
- hasInequality ×2
- inequalityDirection ×1
- isInequality ×1
- strictInequalityCondition ×1
Sample triples (8)
| Subject | Object |
|---|---|
| Dirichlet series | σ_c ≤ σ_u ≤ σ_a ⓘ |
| Clausius theorem | less than or equal to zero via predicate surface "inequalityDirection" ⓘ |
| Clausius theorem | irreversible cyclic process via predicate surface "strictInequalityCondition" ⓘ |
| Hamming bound | M * V_q(n,t) ≤ q^n via predicate surface "isInequality" ⓘ |
| Lusternik–Schnirelmann category | cat(X) ≥ cup-length(X) + 1 via predicate surface "hasInequality" ⓘ |
| Riesz basis | A‖c‖² ≤ ‖∑ c_n x_n‖² ≤ B‖c‖² for some 0 < A ≤ B < ∞ via predicate surface "hasInequality" ⓘ |
| Clifford’s theorem | l(D) ≤ 1 + deg(D)/2 for special divisors D via predicate surface "givesInequality" ⓘ |
| Clifford’s theorem | h^0(C, O_C(D)) ≤ 1 + deg(D)/2 for special divisors D on a curve C via predicate surface "givesInequality" ⓘ |