- D666: Transitive set
- D1881: Cocountable set
- R4685: I.I.D. basic real weak law of large numbers under finite first absolute moments
- D2154: Product sigma-algebra
- R2539: Probabilistic Chebyshov's inequality
- D3798: Open cylinder set
- R4174: Proper contraction has at most a single fixed point
- D1110: Discrete topological space
- R87: Convolution is commutative
- R2933: Isotonicity of convergent basic real series