coreCondition
P19924
predicate
Indicates that something serves as the primary or fundamental condition that must hold for a situation, process, or relationship to apply.
Aliases (12)
- conditionFor ×8
- domainCondition ×7
- coreCriterion ×4
- equivalentCondition ×4
- coreRequirement ×3
- definingCondition ×3
- definitionCondition ×3
- requiresConditionOn ×3
- givesConditionFor ×2
- stabilityCondition ×2
- equilibriumCondition ×1
- matrixCondition ×1
Sample triples (44)
| Subject | Object |
|---|---|
| 1994 Agreement relating to the Implementation of Part XI of the United Nations Convention on the Law of the Sea | ratification of UNCLOS by several industrialized states ("conditionFor") → |
| Article 4 (consultations) | requesting establishment of a panel under the DSU ("conditionFor") → |
| Brouwer fixed-point theorem | compact set ("domainCondition") → |
| Brouwer fixed-point theorem | convex set ("domainCondition") → |
| Brouwer fixed-point theorem | subset of Euclidean space ("domainCondition") → |
| Client-Centered Therapy | congruence in the therapist → |
| Client-Centered Therapy | empathy → |
| Client-Centered Therapy | unconditional positive regard → |
| Drug-Free Schools and Communities Act Amendments | eligibility for certain federal education funds ("conditionFor") → |
| European Union state aid rules | distortion or threat of distortion of competition ("coreCriterion") → |
| European Union state aid rules | effect on trade between Member States ("coreCriterion") → |
| European Union state aid rules | selective economic advantage ("coreCriterion") → |
| European Union state aid rules | use of state resources ("coreCriterion") → |
| Gauss–Seidel method | convergence depends on spectral radius of iteration matrix ("matrixCondition") → |
| Grothendieck universe | U is a Grothendieck universe iff U = V_κ for some strongly inaccessible κ (in ZFC + inaccessibles) ("equivalentCondition") → |
| IS-LM model | intersection of IS and LM curves ("equilibriumCondition") → |
| Kähler manifold | J is orthogonal with respect to the Riemannian metric ("definitionCondition") → |
| Kähler manifold | Kähler form is d-closed ("definitionCondition") → |
| Kähler manifold | ∇J = 0 for Levi-Civita connection ∇ ("definitionCondition") → |
| Lebesgue spaces | f is essentially bounded for p = ∞ ("definingCondition") → |
| Lebesgue spaces | |f|^p is integrable ("definingCondition") → |
| Lebesgue spaces | ∫ |f|^p dμ < ∞ for 1 ≤ p < ∞ ("definingCondition") → |
| NHL trade deadline | player playoff eligibility with a new team ("conditionFor") → |
| New Entrant Safety Assurance Program | granting permanent operating authority ("conditionFor") → |
| Noetherian module | every increasing sequence of submodules becomes stationary ("equivalentCondition") → |
| Noetherian module | every nonempty family of submodules has a maximal element under inclusion ("equivalentCondition") → |
| Noetherian module | every submodule is the sum of finitely many cyclic submodules ("equivalentCondition") → |
| Oaths Clause | holding federal office ("conditionFor") → |
| Oaths Clause | holding state office under the United States Constitution ("conditionFor") → |
| Q-balls | energy per unit charge less than mass of corresponding free particle ("stabilityCondition") → |
| Q-balls | existence of suitable scalar potential with attractive self-interactions ("stabilityCondition") → |
| Riemann mapping theorem | non-empty open subset of the complex plane ("domainCondition") → |
| Riemann mapping theorem | simply connected subset of the complex plane ("domainCondition") → |
| Riemann mapping theorem | subset of the complex plane not equal to the whole complex plane ("domainCondition") → |
| Title VI of the Civil Rights Act of 1964 | no person shall be denied the benefits of federally assisted programs on prohibited grounds ("coreRequirement") → |
| Title VI of the Civil Rights Act of 1964 | no person shall be excluded from participation in federally assisted programs on prohibited grounds ("coreRequirement") → |
| Title VI of the Civil Rights Act of 1964 | no person shall be subjected to discrimination under federally assisted programs on prohibited grounds ("coreRequirement") → |
| Treaty of Turin (1860) | French support for Italian unification ("conditionFor") → |
| Whitney approximation theorem | source is a smooth manifold ("domainCondition") → |
| inverse function theorem | differentiability of a local inverse ("givesConditionFor") → |
| inverse function theorem | existence of a local inverse ("givesConditionFor") → |
| local existence and uniqueness theorem | Lipschitz continuity of f in y ("requiresConditionOn") → |
| local existence and uniqueness theorem | continuity of f in a neighborhood of (t0,y0) ("requiresConditionOn") → |
| local existence and uniqueness theorem | local Lipschitz condition in y ("requiresConditionOn") → |