Definitions
,
Results
,
Conjectures
▾
Set of symbols
▾
Alphabet
▾
Deduction system
▾
Theory
▾
Zermelo-Fraenkel set theory
▾
Set
▾
Binary cartesian set product
▾
Binary relation
▾
Map
▾
Simple map
▾
Simple function
▾
Measurable simple complex function
▾
Random simple number
▾
Random Boolean number
▾
Bernoulli random boolean number
▾
Bernoulli trial-test pair
Specificity
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}
Also known as
True negative rate