Description
A positive condition returns conditional=jointProbability/conditionProbability, defined=true, and label=defined; zero condition returns conditional=0, defined=false, and label=undefined-zero-condition.
Event probabilities and probability masses lie between zero and one. Marginals, intersections, conditioning events, and endpoint atoms describe different quantities. A probability bound or local consistency check can constrain a model without specifying its complete distribution or dependence structure.
A positive condition returns conditional=jointProbability/conditionProbability, defined=true, and label=defined; zero condition returns conditional=0, defined=false, and label=undefined-zero-condition.
When to use this tool
Use Conditional Probability Zero Case Label when you need the stated event identity, boundary policy, distribution component, or local feasibility check.
How to use the tool and how it works
- Enter jointProbability, conditionProbability. Use the units and conventions below.
- Run the tool. Correct any format, range, or cross-field input error before interpreting the output.
- Read label, conditional, defined. Inspect defined before interpreting the associated values.
Require valid jointProbability no greater than conditionProbability. A positive condition returns conditional=jointProbability/conditionProbability, defined=true, and label=defined; zero condition returns conditional=0, defined=false, and label=undefined-zero-condition.1
| Input field | Meaning and units | Accepted input |
|---|---|---|
| jointProbability | Joint Probability | Required. Finite number; minimum 0; maximum 1. |
| conditionProbability | Condition Probability | Required. Finite number; minimum 0; maximum 1. |
| Output field | Interpretation | Returned shape |
|---|---|---|
| label | Label | Required. Text; maximum UTF-16 length 8192. |
| conditional | Conditional | Required. Finite number. |
| defined | Whether the associated ratio is defined; inspect before using a zero placeholder. | Required. Boolean. |
{
"input": {
"jointProbability": 0,
"conditionProbability": 0
},
"output": {
"label": "undefined-zero-condition",
"conditional": 0,
"defined": false
}
} Limitations and assumptions
- The zero conditional on the undefined branch is a placeholder. This finite event-ratio rule is not a regular conditional distribution for conditioning on a continuous point.
- Inputs must satisfy both the field types and the cross-field conditions above. Invalid input causes an error; a successful false flag or documented placeholder is a different result.
- Numeric calculations use binary floating point unless exact decimal-integer arithmetic is explicitly stated. No hidden measurement tolerance or decimal rounding is added; nonfinite or out-of-contract results are rejected. Signed zero is exported as zero.
Alternative or Complementary methods
Use a full probability table or distribution when a local mass, bound, or identity is insufficient. Specify dependence, conditioning, support order, and endpoint policy before combining terms.
References
Similar or alternative tools
- Conditional Probability Mixture One Component
Multiply weight and conditional, both fractions within zero through one, into jointContribution.
- Atom Probability Lower Slack
For probability and suppliedLowerBound within zero through one return slack=probability-suppliedLowerBound and feasible=(probability>=suppliedLowerBound).