for X being BCI-algebra holds ConSet X = (LConSet X) /\ (RConSet X)