- D2910: Set of proper set partitions
- D989: Map kernel
- D5911: Sensitivity
- D2144: Random real number standard deviation
- D3791: Standard beta function
- R2377: Almost sure convergence implies convergence in probability
- D99: Separable topological space
- R4998: Limit of distribution function of geometric random positive integer scaled by reciprocal of index
- D5854: Digraph-generated graph
- R4738: Finite subadditivity of probability measure