Séparabilité optionnelle, d'après Doob
If the separability of the separable process definition is replaced by a set of optional (predictable) times, a new property is obtained, optional (predictable) separability. A well measurable (accessible) process is necessarily optionally (predictably) separable. Proofs of limit properties of a separable process become proofs of the same limit properties of a well measurable (predictable) process.