Definition:Directed Colimit