Una construcción if-then-else en que proceso se especifica para ambos resultados de la rama.