Pour une position initiale donnée dans K, c'est la plus grande valeur du temps de sortie déterminée parmi toutes les évolutions du système dynamique qui sont issues de cette position.