Struktura iteracyjna, która wykonuje blok kodu tak długo, jak długo określony warunek jest spełniony. Warunek jest sprawdzany przed każdą iteracją.