theorem :: BCIIDEAL:38

for X being BCK-algebra holds
( {(0. X)} is commutative Ideal of X iff for I being Ideal of X holds I is commutative Ideal of X ) by Th37, Th36;