Haqiqatligi protsedura yoki sikl jismi bajarilishining boshlanishida tekshiriladigan shart. Bu, sikl yoki protsedura faqat shart chin bo‘lgan holdagina bajarilishini bildiradi.

Ҳақиқатлиги процедура ёки цикл жисми бажарилишининг бошланишида текшириладиган шарт. Бу, цикл ёки процедура фақат шарт чин бўлган ҳолдагина бажарилишини билдиради

Условие, истинность которого проверяется в начале выполнения тела цикла или процедуры. Это означает, что  цикл или процедура будут выполняться только в том случае, если условие окажется истинным

initial conditions