theorem Th46: :: BCIALG_2:46

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