Pętla, która zawsze wykonuje przynajmniej jeden raz blok kodu, ponieważ warunek jest sprawdzany po wykonaniu iteracji.