Definimos la operación externa: