The terminating type-`σ` event is measurable, contained in the type-`σ` event, and differs from it by a subset of the null nonterminating set.

Initializing...

The terminating type-`σ` event is measurable, contained in the type-`σ` event, and differs from it by a subset of the null nonterminating set. · Prove2Me