Definition:Inductive Limit