Continuous-time Markov process#Mathematical definitions