Formulácia všetkých viet pozostáva z dvoch častí: to, čo je dané, sa nazýva podmienka, čo sa musí dokázať – záver vety.

Формулювання всіх теорем складається з двох частин: те, що дано, зветься умовою, те, що потрібно довести, – висновком теореми.

Приклад застосування терміна в українській мові

У теоремі Перша ознака рівності трикутників, умовою є те, що дві сторони та кут між ними одного трикутника дорівнюють двом сторонам та куту між ними другого трикутника, а висновком теореми є рівність трикутників.