if...then condition
A definition by cases
examines a
condition
.
If this condition is fulfilled, afterwards the "then" instruction is executed, otherwise the "else" instruction.