holdsAlmostSurely

P41813 predicate

Indicates that the specified property or event occurs with probability 1, i.e., it is true almost everywhere except possibly on a set of outcomes of probability zero.


Sample triples (1)

Subject Object
Itô’s lemma with respect to underlying probability measure