A direct limit has “canonical functions” which map each element of the disjoint union to its equivalence class.