for X being BCI-algebra holds IConSet X c= ConSet X