theorem Th22: :: BCIALG_1:22

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