Inductive limit