Definition:F-Homomorphism