for X being BCI-algebra holds X is SubAlgebra of X