Kölcsönösen fordított tételeknek nevezünk két tételt akkor, ha az egyik tétel feltételének és következményének a felcserélése révén megkapjuk a másik tételt. Ha e tételek egyikét egyenes tételnek nevezzük, akkor a másik tétel ennek a fordítottja.

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