BCI-代数直积的泛性质

Universal property of direct products of BCI-Algebra

用泛性质定义了ＢＣＩ－代数的直积，并证明了直积的存在性和唯一性。

The concept direct products of BCI-Algebra by using the universal property is introduced and uniqueness and existence of direct products of BCI-Alegbra are also proved.