for X being BCI-algebra
for I being Ideal of X st I is p-ideal of X holds
BCK-part X c= I