Def: a universal finite type invariant is an invariant s.t. for -singular , diagrams of higher degree. (Note that a universal finite type invariant is not an finite type invariant)