For any sentential logic S, Alg∗S ⊆ AlgS; and Alg∗S = AlgS if and only if the class Alg∗S is closed under subdirect products.
確定! 回上一頁