theorem :: BCIALG_2:44

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