The notion of (positive implicative) pseudo-ideals 
in a pseudo-$BCK$ algebra is introduced, and
several properties are investigated. 
Characterizations of a pseudo-ideal are displayed. 
Conditions for a subset to be a pseudo-ideal are given. 
The concept of pseudo-homomorphism is discussed.