monoide: Estructura alxebraica onde pa un conxuntu y una operación binaria cumplen delles propiedaes básiques.Cast.: monoide