необхідна та достатня умова

Більшість теорем складається з двох частин:

якщо кути суміжні, то їхня сума дорівнює 180°

Достатня умова:

якщо трикутник є рівностороннім, то він є рівнобедреним

Необхідна умова:

коли в теоремі є слова «необхідно і достатньо», то вона об’єднує дві теореми:

Теорему, яка об’єднує пряму та обернену теореми, називають 

якщо натуральне число кратне 10, то це число кратне 5.

необхідна умова:

Якщо ви на математичній олімпіаді правильно розв’язали всі запропоновані задачі, то ...  для того, щоби посісти перше місце.

Якщо справедлива не тільки теорема

якщо A, то B,

але й обернена теорема

якщо B, то A,

то A є ...