theorem :: BCIIDEAL:10

for X being BCI-algebra st AtomSet X is Ideal of X holds
AtomSet X is closed Ideal of X