• выполнять тело цикла заданное число раз

Это справедливо для цикла с параметром.

• выполнять тело цикла до тех пор, пока проверяемое условие не станет истинным

Это справедливо для цикла с постусловием.

• пока проверяемое условие истинно, выполнять тело цикла

• если условие истинно, выполнить последовательность действий

Это справедливо для неполного ветвления.