辞海

释义：nì dìng lǐ
1.将某一定理的条件和结论互换所得的定理就是原来定理的逆定理。