Дві теореми, кожну з яких можна отримати з іншої, помінявши місцями умову й висновок, називають взаємно оберненими. Якщо яку-небудь із двох взаємно обернених теорем назвати прямою, то другу теорему називатимемо оберненою.

Dwa twierdzenia, z których każde można otrzymać z drugiego poprzez zamianę założenia i tezy, nazywane są wzajemnie odwrotnymi. Jeśli dowolne z nich nazwiemy prostym, to drugie twierdzenie nazwiemy odwrotnym.

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

Кожну з двох взаємно обернених теорем можна назвати прямою теоремою, тоді інша буде оберненою.