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