How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Positivity for discrete treatment
Definition
Let take values in a countable discrete set on a target probability space, and let be the baseline covariate random element. For a treatment value of interest, the conditional treatment probability is the almost-sure class
using the conditional-expectation convention of Conditional expectation as an ae class under the The Axiom of Choice. Positivity for on the target population means both and almost surely under the target law of . Positivity for a contrast is required at every treatment value in that contrast.
The almost-sure condition is relative to the target population: values of with zero target probability impose no condition. Strict positivity does not mean that is bounded away from zero. The marginal condition makes the observed treatment-stratum law available.
Depends on
Used by
Dependency tree · two levels
8 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- Miguel A. Hernán and James M. Robins, Causal Inference: What If, 2020 (author revision 19 August 2026) (standard reference, not scraped)
- Hyunseung Kang, Causal Inference: Identification Under Strong Ignorability, UW–Madison STAT 992 lecture note (standard reference, not scraped)