theorem :: BCIALG_2:47

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