An elementary proof that the first hitting time of an $F_{\sigma }$ set by a jump process is a stopping time

Abstract

We give a short and elementary proof that the first hitting time of a $F_{\sigma }$ set by the jump process of a càdlàg adapted process is a stopping time.