operación externa tal que: