Es decir, tal que el producto de dos coclases sea igual a la coclase del producto de dos representantes de las coclases.