Dwa twierdzenia, z których każde można uzyskać z drugiego poprzez zamianę założenia i tezy, nazywane są wzajemnie odwrotnymi. Jeśli którekolwiek z tych twierdzeń nazwiemy twierdzeniem prostym, to drugie twierdzenie będzie nazywane odwrotnym.

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

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

Інколи із двох взаємно обернених теорем правильною є тільки одна.