theorem Th45: :: BCIALG_2:45

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