关于有界BCK—代数的主对偶理想的一个定理

本文给出了ＢＣＫ－代数主对偶理想的一个定理，使得［３］中定理２作为本定理的一个特例。