兩個 全序集 和
是序同構的,當且僅當存在一個 雙射
從
到
,使得對於所有
,
(Ciesielski 1997, p. 38)。換句話說, 和
是 等勢的(“大小相同”),並且兩者之間存在保序對映。
Dauben (1990) 和 Suppes (1972) 將此性質稱為“相似”。這個定義同樣適用於 偏序集。
兩個 全序集 和
是序同構的,當且僅當存在一個 雙射
從
到
,使得對於所有
,
(Ciesielski 1997, p. 38)。換句話說, 和
是 等勢的(“大小相同”),並且兩者之間存在保序對映。
Dauben (1990) 和 Suppes (1972) 將此性質稱為“相似”。這個定義同樣適用於 偏序集。
Weisstein, Eric W. "序同構。" 來自 Web 資源。 https://mathworld.tw/OrderIsomorphic.html