ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F11899 on D5912: Specificity
F11899
Formulation 0
Let $B = (X, T)$ be a D5910: Bernoulli trial-test pair.
The specificity of $B$ is the D4767: Unsigned real number \begin{equation} \mathbb{P}(T = 0 \mid X = 0) \end{equation}