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

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

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

З умови теореми випливає, що пряма BM – серединний перпендикуляр відрізка AC.