homomorphy_form (Relation f1 c f2 r) = Relation f1' c f2' r
     where f1' = homomorphy_form f1
           f2' = homomorphy_form f2
homomorphy_form (Relation f1 c f2 r) = Relation f1' c f2' r
     where f1' = homomorphy_form f1
           f2' = homomorphy_form f2
homomorphy_form (Relation f1 c f2 r) = Relation f1' c f2' r
     where f1' = homomorphy_form f1
           f2' = homomorphy_form f2