設 為一個無限的 原元素 集合,設
為 超結構
的一個 擴張。設
為具有有限多個運算的有限代數,設
和
為它們在
中的 擴張單子。設
為一個同態。那麼
是內部可擴充套件的,當且僅當存在一個
的內部子代數
,它包含
,並且存在一個 同態
使得如果
,則
。
對於一個同態 ,以下是等價的
1. 是內部可擴充套件的,且
是
的一個子代數,
2. 對於某個同態 ,
是
到
的限制。
設 為一個無限的 原元素 集合,設
為 超結構
的一個 擴張。設
為具有有限多個運算的有限代數,設
和
為它們在
中的 擴張單子。設
為一個同態。那麼
是內部可擴充套件的,當且僅當存在一個
的內部子代數
,它包含
,並且存在一個 同態
使得如果
,則
。
對於一個同態 ,以下是等價的
1. 是內部可擴充套件的,且
是
的一個子代數,
2. 對於某個同態 ,
是
到
的限制。
此條目由 Matt Insall 貢獻 (作者連結)
Insall, Matt. “內部可擴充套件同態。” 來自 Web 資源,由 Eric W. Weisstein 建立。 https://mathworld.tw/InternallyExtendableHomomorphism.html