Let l ∈ N and ⃗ A = (A1, . . . , A l ) and ⃗ f = (f1, . . . , f l ) be 2 finite collections of functions, where every function Ai has derivatives of order mi and f1, . .Suppfi. The generalized higher commutator generated by the multilinear fractional integral is then given bythe authors establish the boundedness of I ⃗ A α,m on the product Lebesgue space, Triebel-Lizorkin space, and Lipschitz space.