The notion of BCK/BCI-bialgebras and sub-bialgebras is introduced, 
and related properties  are investigated. 
A characterization of $X=pI(X_1)\uplus pI(X_2)$ is provided.