for X being BCI-algebra holds the carrier of X is closed Ideal of X