可換図式
可換性は任意有限個の辺(1 や 2 だけも含む)の多角形に対して意味を持つ。図式が可換であるとは、すべての部分多角図式が可換ということである。