theorem Th15: :: BCIIDEAL:15

for X being BCI-algebra
for I being Ideal of X holds
( I is associative-ideal of X iff for x, y, z being Element of X st (x \ y) \ z in I holds
x \ (y \ z) in I )