Μια γλώσσα προγραμματισμού δήλωση που επιλέγει μια πορεία εκτέλεσης με βάση αν κάποια κατάσταση είναι αληθής ή ψευδής (για παράδειγμα, η δήλωση IF).