reserve X for BCI-algebra;
reserve I for Ideal of X;
reserve a,x,y,z,u for Element of X;
reserve f,f9,g for sequence of  the carrier of X;
reserve j,i,k,n,m for Nat;
reserve R for Equivalence_Relation of X;
reserve RI for I-congruence of X,I;
reserve E for Congruence of X;
reserve RC for R-congruence of X;
reserve LC for L-congruence of X;

theorem Th45:
  ConSet(X) c= LConSet(X)
proof
  let x be object;
  assume x in ConSet(X);
  then ex R being Congruence of X st x=R;
  then x is L-congruence of X by Th36;
  hence thesis;
end;
