Il costrutto di selezione permette di ramificare l'esecuzione del programma facendo delle scelte al verificarsi di alcune condizioni. Il costrutto chiave del linguaggio che permette di selezionare rami diversi di esecuzione è il costrutto if, con eventualmente anche un ramo else.