関係の圏

数学の一分野である圏論において関係の圏（かんけいのけん、） は、すべての集合を対象とし、すべての二項関係を射とする圏である。
この圏における射 が 間の関係であるというのは、 であることを意味する。
二つの関係 , の合成は
で与えられる。