A programming-language statement that selects an execution path based on whether some condition is true or false (for example, the IF statement).