摘要： 给出互模拟精确且具有概括性定义（Ｂ），给出并证明了互模拟的５个特征，最后给出最大互模拟～定义，证明了～是一个等价关系，进一步证明了～是Ｒ中（Ｂ）的最大固定点。概括了互模拟在模态逻辑和并发系统中的非凡的应用价值，并提出了某些尚待解决的问题。互模拟具有美好的发展前景和极大的发展空间。