Un costrutto if-then-else in cui elaborazione è specificato per un solo risultato del ramo, l'altro risultato con conseguente saltando questa elaborazione.