ThmDex – An index of mathematical definitions, results, and conjectures.
Set of symbols
Alphabet
Deduction system
Theory
Zermelo-Fraenkel set theory
Set
Collection of sets
Set union
Successor set
Inductive set
Set of inductive sets
Set of natural numbers
Set of integers
Integer
Positive integer
Random positive integer
Definition D6294
Fair die random positive integer
Formulation 0
A D5748: Random positive integer $X \in \text{Random} \{ 1, 2, 3, 4, 5, 6 \}$ is the fair die random positive integer if and only if \begin{equation} \mathbb{P}(X = 1) = \mathbb{P}(X = 2) = \cdots = \mathbb{P}(X = 6) = \frac{1}{6} \end{equation}