theorem :: BCIIDEAL:13

for X being BCI-algebra
for A being Ideal of X st X is quasi-associative holds
A is closed by BCIALG_1:71, Th5;