公式系统对数据的运算是基于一系列函数，函数必须满足时序不变性，即时间靠后的数据不对时间靠前的结果产生影响（判断是否未来函数的依据）。这个很重要！对于未来函数可以理解为：某一量依赖另一量，如量 A和量B，B变化使A改变，那么A是B的函数，如果B是稍后的量，A是稍早的量，A跟着B变，A是B的未来函数。