ThmDex – An index of mathematical definitions, results, and conjectures.
Set of symbols
Alphabet
Deduction system
Theory
Zermelo-Fraenkel set theory
Set
Subset
Power set
Hyperpower set sequence
Hyperpower set
Hypersubset
Subset algebra
Subset structure
Measurable space
Measure space
Probability space
Filtered probability space
Random time
Stopping time
Negative binomial random number
Geometric random positive integer
Definition D5116
Cogeometric random natural number
Formulation 1
Let $N$ be a D4001: Geometric random positive integer with parameter $\theta$.
A D5216: Random natural number $M \in \mathsf{Random}(\mathbb{N})$ is a geometric random natural number if and only if \begin{equation} M \overset{d}{=} N - 1 \end{equation}
Results
Probability mass function for cogeometric random basic natural number