Dve vety, z ktorých každú možno získať z tej druhej zámenou podmienky a záveru, sa nazývajú vzájomne inverzné. Ak sa niektorá z týchto viet nazýva priama, potom sa druhá veta bude nazývať inverzná.

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

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

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