See also Stochastic to stream is well-defined conditionals of a family Range with total composition Notation for total composition
