Let Ω be a set, let T>0 be a real number, let X=(Xt)t∈[0,T] be a family of real-valued functions on Ω, and let τ:Ω→[0,T] be a function (a random time).
The process X sampled at τ is the real-valued function Xτ on Ω defined by
Xτ(ω)=Xτ(ω)(ω)(ω∈Ω).
The process X stopped at τ is the family Xτ=(Xtτ)t∈[0,T] of real-valued functions on Ω defined by
Xtτ(ω)=Xmin(t,τ(ω))(ω)(t∈[0,T], ω∈Ω).