Esa observación es la base para la definición abstracta de operación que daremos a continuación.