In this note, we consider a triple construction (\ad;⋆,ε(0))(\ad;⋆,ε(0)) on a dd-algebra (A;∗,0)(A;∗,0) and investigate some of their properties. Applying this construction to a dd-transitive dd-algebra, we show that (\ad;<)(\ad;<) is a poset, which induces a BCKBCK-algebra.
生成讲解博客的中文版本
生成AI智能校验的中文版本