定義介紹
完備子代數(complete subalgebra)一種特殊的子布爾代數.指布爾代數B的滿足下列條件的子代數A:對A的每個使藝BM存在的子集M,藝"M也存在,且藝AM-藝'}M,其中藝BM是M在B中的最小上界.
定義介紹 完備子代數(complete subalgebra)一種特殊的子布爾代數.指布爾代數B的滿足下列條件的子代數A:對A的每個使藝BM存在的子集M,藝"M也存在,且藝AM-藝'}...
相對完備子代數是一種特殊的子布爾代數。如果布爾代數B的一個子布爾代數A,對每一個b∈B,在A中有一個最大元素a,使得a≤b;或對B中每個b,在A中存在一個最...
函式完備代數(functionally complete algebra)一類特殊泛單代數.設}}Zl-(A,F>是一個泛代數,若A的元素個數有限(A至少含兩個元),並且定義於A上的每個函式皆為...
完備海T代數(complete Heyting algebra)一種特殊的完備格一個滿足如下條件的完備格日。...
完備布爾代數是一種特殊的布爾代數,即每個子集都有最小上界和最大下界的布爾代數。... 完備布爾代數是一種特殊的布爾代數,即每個子集都有最小上界和最大下界的...
6.4.3PUL*-代數的正規素濾子定理及系統PUL*的完備性習題6第7章BCK/BIK+邏輯及相關代數結構研究7.1BCK邏輯與月CK-代數7.1.1BCK/FBCK邏輯與可換模糊邏輯...