In this note, we define an implication operation in fuzzy algebras. That is, we consider the operation as an operation satisfying a certain axiom system. We give three types of axiom systems of the implication operation. It follows that in each kind of axiom systems the interpretation of the operation can be uniquely defined in the simplest fuzzy algebra 3. We also give some examples of the operation.
