la_8内， formula_8是其完整轨迹完全在formula_10集合的联集。若formula_11函数又有正定的性质，即而且formula_8除了formula_16 for formula_17的平凡轨迹外，未包括其他轨迹，则原点为李雅普诺夫稳定性。再者，若formula_11是径向无界（radially unbounded）原点为全域渐近稳定。
局部稳定性版本.若 当formula_24在原点的邻域formula_25内才成立，且集合除了formu