∀ {M : Type u_1} {N : Type u_2} [inst : AddCommMonoid M] [inst_1 : AddCommMonoid N] [AddMonoid.FG M] {F : Type u_5}
  {G : Type u_6} [inst_3 : FunLike F M N] [AddMonoidHomClass F M N] [inst_5 : FunLike G M N] [AddMonoidHomClass G M N]
  (a b : N) (f : F) (g : G), IsSemilinearSet {x | a + f x = b + g x}