摘要
描述两个系统的行为等价性,同态显得太弱,同构又显得太强,寻找一个介于同态与同构之间的概念就导致了互模拟的产生。互模拟有3个发源地,我们只从集合论这个角度来探究互模拟的起源。当人们把研究领域扩展到非良基集合时,通常的外延公理在判断非良基集合相等方面已显得无能为力,因此必须寻找新的更强的标准来断定集合的相等性,互模拟概念在集合论中应运而生。
出处
《重庆工学院学报（社会科学版）》
2009年第8期21-25,共5页
Journal of Chongqing Institute of Technology
