ThmDex – An index of mathematical definitions, results, and conjectures.
F11024
Formulation 3
The Bernoulli probability mass function with parameter $\theta \in [0, 1]$ is the D4364: Real function \begin{equation} \{ 0, 1 \} \to \{ \theta, 1 - \theta \}, \quad n \mapsto \theta^n (1 - \theta)^{1 - n} \end{equation}