Un cierre transitivo completo no es necesario; un cierre transitivo conmutativo es suficiente e incluso formas más débiles.