commutative diagram

collection of maps in which all map compositions starting from the same set and ending with the same set give the same result