逆関係
自分自身を逆関係として持つ関係は対称関係(ダガー圏(英語版) の言葉で言えば、自己随伴 (self-adjoint))である。
関係が反射的、非反射的、対称的、反対称的、非対称的、推移的、完全、三分的、 半順序、全順序、狭義弱順序、全前順序(弱順序)、同値関係であるという性質は、逆関係に遺伝する。
関係が拡張可能でも、その逆関係は必ずしも拡張可能ではない。
関係をその逆関係に写す操作は、関係の圏 Rel にダガー圏の構造を与える。
集合 X 上の二項関係全体の成す集合 B(X) は、関係を逆関係に写す操作を対合とする対合半群を成す。