We have the starting point of an elegant mathematical theory for modeling data structures and in fact, as we just saw, programs in general.

• 对数据结构建模，事实上正如我们刚才所见的，通常是对程序建模，我们有了一个数学理论上的起点。