operación interna tal que: