Ciklas veiksmų, kartojamų tol, kol tenkinama nurodyta sąlyga.
Sąlyga tikrinama kiekvieną kartą arba prieš atliekant veiksmų seką, arba ją atlikus. Jeigu prieš, tai veiksmai gali būti neatliekami nė vieno karto, jei po – visada atliekami bent vieną kartą.

Teiginys, kuris yra teisingas prieš atliekant ciklą, nesikeičia (t. y. lieka teisingas) pakartojus kiekvieną ciklo veiksmą ir taip pat lieka teisingas baigus vykdyti ciklą.
Naudojamas programos teisingumui patikrinti. Yra kai kuriose moderniose programavimo kalbose. Dažniausiai invarianto sakinys pradedamas žodžiu assert. Pavyzdžiui, sveikųjų skaičių dalybą apibrėžiančiame cikle:
liekana := dalijamasis;
dalmuo := 0;
while liekana > daliklis do
   begin
       assert dalmuo * daliklis + liekana = dalijamasis;
       dalmuo := dalmuo + 1;
       liekana := liekana - daliklis;
   end;
invarianto assert dalmuo * daliklis + liekana = dalijamasis reikšmė visada yra tiesa.

Algoritmo arba programos kartojamų veiksmų dalis, kurioje aprašyti veiksmai ir jų kartojimo sąlygos.
Ciklas gali būti 1) besąlygis ir 2) sąlyginis. Prasidėjus besąlyginiam, jau žinoma, kiek kartų bus kartojami veiksmai. Paprastai turi ciklo kintamąjį, atliekantį kartojimų skaitiklio funkciją. Antrojo tipo cikle prieš arba po kiekvieno kartojimo tikrinama sąlyga, nustatanti, ar ciklą dar reikia kartoti. Kai kartojimo sąlyga visada tenkinama susidaro begalinis ciklas. Toks ciklas natūraliai neužsibaigia, jį tenka dirbtinai nutraukti. Ciklas gali būti kitame cikle ir t. t.
Programavimo kalbose ciklai užrašomi tekstu. Pavyzdžiui, sąlyginis ciklas gali būti užrašytas taip:
    while <sąlyga> do <veiksmai>
Algoritmuose ciklai taip pat gali būti užrašomi blokinėmis schemomis (pavyzdys paveikslo kairėje) arba struktūrogramomis (dešinėje).