Pour un système dynamique contrôlable ou non, en l'absence d'incertitude et avec cible, c'est l'ensemble des positions initiales de l'état du système appartenant à K, à partir desquelles il existe au moins une évolution qui reste dans K avant d'avoir atteint la cible en temps fini.