a_5 的formula_19-极限集合：formula_20，这是将 formula_21 关于 formula_5 做反向迭代后得到的序列的极限点集合。以上定义的两个集合都对函数 formula_5 保持不变，并且如果集合 formula_1 是紧集的话，那么它们也是非空的紧集。
对动力系统的定义.给定一个实数值动力系统 formula_25，其中formula_26为时间，formula_27为描述方程，formula_28 是以点formula_29初始值的解（由f