Dve vety, z ktorých každá sa dá 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á.

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