(Alm. kommutatives Diagramm, n; Fr. diagramme commutatif, m; İng. commutative diagram)
mat. f : A › B, g : A › C, h : B › D, k : C › D, p : B › C fonksiyonları verildiğinde, f o h = g o k ve f o p = g eşitliklerinin doğru olduğunu ifade etmek için kullanılan XXXX dikdörtgeni, XXX üçgeni, benzeri çokgenler ya da bu çokgenleri bir araya getirmekle elde edilen ok diyagramı; eşanlam: sırabağımsız diyagram, değişmeli diyagram.