for X, X9 being BCI-algebra
for f being BCI-homomorphism of X,X9
for a being Element of X st a is minimal holds
f . a is minimal