Global inductive definability