几乎(集合论概念)
Almost (a concept in set theory)
以上为机器翻译结果，长、整句建议使用 人工翻译 。
由于互模拟的概念几乎同时在计算机科学、模态逻辑和集合论中产生，本文试图给出一种能够刻画计算机科学、模态逻辑和集合论中互模拟概念的统一定义。
Because the concept of bisimulations has emerged almost at the same time in computer science, modal logic and set theory, this paper attempts to give a general definition on this concept.
youdao
应用推荐
模块上移
模块下移
不移动