两个 全序集 和
是序同构的,当且仅当存在一个 双射
从
到
,使得对于所有
,
(Ciesielski 1997, p. 38)。换句话说, 和
是 等势的(“大小相同”),并且两者之间存在保序映射。
Dauben (1990) 和 Suppes (1972) 将此性质称为“相似”。这个定义同样适用于 偏序集。
两个 全序集 和
是序同构的,当且仅当存在一个 双射
从
到
,使得对于所有
,
(Ciesielski 1997, p. 38)。换句话说, 和
是 等势的(“大小相同”),并且两者之间存在保序映射。
Dauben (1990) 和 Suppes (1972) 将此性质称为“相似”。这个定义同样适用于 偏序集。
Weisstein, Eric W. "序同构。" 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/OrderIsomorphic.html