Skip to content

Main content

Finite Event Mass Remaining Budget

Subtract explicitly disjoint assigned probability masses from one without inferring disjointness.

Loading tool…

Description

Calculate unassigned probability mass after supplied disjoint event masses.

Probability calculations distinguish event mass, density likelihood, support membership and interval inclusion. Zero likelihood is not always proof of impossibility, and a known zero-probability category differs from an absent label. Independence, disjointness and supplied CDF values are assumptions or records, rather than properties established by local arithmetic.

Calculate unassigned probability mass after supplied disjoint event masses.

When to use this tool

Use Finite Event Mass Remaining Budget when you already have knownDisjointMasses and need to calculate unassigned probability mass after supplied disjoint event masses.

How to use the tool and how it works

  1. Enter knownDisjointMasses. Use the units and conventions below.
  2. Run the tool. Correct any format, range, or cross-field input error before interpreting the output.
  3. Read assignedMass, remainingMass. Use the output convention below.

Require each mass in [0,1] and their floating-point sum<=1; return sum and 1-sum.1

Input fieldMeaning and unitsAccepted input
knownDisjointMassesKnown Disjoint MassesRequired. Array of finite number; maximum items 256.
Output fieldInterpretationReturned shape
assignedMassAssigned MassRequired. Finite number.
remainingMassRemaining MassRequired. Finite number.
json
{
  "input": {
    "knownDisjointMasses": [
      0.25,
      0.5
    ]
  },
  "output": {
    "assignedMass": 0.75,
    "remainingMass": 0.25
  }
}

Limitations and assumptions

  • Disjointness is assumed and no tolerance is added to the sum check; no events or sample space are inspected.
  • 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. Numeric signed-zero results are exported as zero.

Alternative or Complementary methods

Use the complete joint model when independence or disjointness cannot be assumed. Evaluate a distribution on its actual support for CDF or likelihood questions, and keep absent categories distinct from explicitly listed zero-probability outcomes.

References

  1. Calculation and input contract: probability/finite-event-mass-remaining-budget — tool.io

Similar or alternative tools