Esa observación es la base para la definición abstracta de operación que