Precisamente, los análisis de Álgebra Abstracta nos permitirán identificar que es necesario suponer para que la relación anterior sea válida.