If [условие] then .... - условный оператор, выполняется только когда выполняется условие
.... else ... - дополнение к условному оператору, куда сворачивает ход программы, когда условие в условном операторе не исполняется
Вместе напоминают разветвление в виде вилки