In this paper, we consider the notions of? BCC-algebras and? hyper BCC-algebras, give some related results, introduce the relation $eta$ on? hyper BCC-algebras and let $eta^*$ be the transitive closure of $eta$.?? Then? by considering the concept of strongly regular equivalence relation (fundamental? relation) $eta^*$ on? hyper BCC-algebras, we define the notion of fundamental BCC-algebra and we prove that any countable?? BCC-algebra is a fundamental BCC-algebra.
展开▼
