Pour une évolution donnée, c'est le premier instant pour lequel l'état du système dynamique quitte l'ensemble K. Le temps de sortie est une date mais pour un système dynamique autonome (ne dépendant pas du temps), cela correspond à la durée pendant laquelle l'état du système reste dans K de manière ininterrompue.