Az összes tétel megfogalmazása két részből tevődik össze: azt, ami adott, feltételnek nevezzük, azt pedig, amit be kell bizonyítanunk – a tétel állításának nevezzük.

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

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

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