We introduce the concept of fuzzy $\otimes$-subalgebras 
of fuzzy implication algebras,
and obtain some related properties.