Formalmente esto significa que un proceso de Poisson no homogéneo es un proceso de contar que satisface: