Como los axiomas de las estructuras algebraicas en el álgebra universal se describen por leyes de ecuaciones, lo único que es necesario comprobar es que "S" sea cerrado con las operaciones heredadas.