Estructuras algebraicas con una operación algebraica.