対角線共通部分
δ {\displaystyle \displaystyle \delta } を順序数、 ⟨ X α ∣ α < δ ⟩ {\displaystyle \displaystyle \langle X_{\alpha }\mid \alpha <\delta \rangle } を、 δ {\displaystyle \displaystyle \delta } の部分集合の列としたとき、その対角線共通部分とは、次のように表され、
Δ α < δ X α , {\displaystyle \displaystyle \Delta _{\alpha <\delta }X_{\alpha },}
次のように定義される。
{ β < δ ∣ β ∈ ⋂ α < β X α } . {\displaystyle \displaystyle \{\beta <\delta \mid \beta \in \bigcap _{\alpha <\beta }X_{\alpha }\}.}