诣零BCI代数的构造

证明了一个分支Ａ（ｅ）一旦有一个元素属于Ｎ（Ｘ）＝ＵＡ（ｅ）或Ｎ（Ｘ）＝ＵＡ（ｅ）那么这个分支Ａ（ｅ）以及它的相伴分支Ａ（０＊ｅ）都将整个地被包含于Ｎ（Ｘ）或Ｎ（Ｘ）从而Ｎ，（Ｘ）和Ｎ（Ｘ）完全的Ｎ（Ｅ）＝Ｅｋ＝和Ｎ（Ｅ）＝Ｅｉ所决定。