If I is a proper ideal, then Γ I {\displaystyle \Gamma _{I}} is a segment of Γ {\displaystyle \Gamma } .
I が真のイデアルであれば、 Γ I {\displaystyle \Gamma _{I}} は Γ {\displaystyle \Gamma } の segment である。