関係の圏
数学の一分野である圏論において関係の圏(かんけいのけん、英: category of relations)Rel は、すべての集合を対象とし、すべての二項関係を射とする圏である。
この圏における射 R: A → B が A, B 間の関係であるというのは、 R ⊆ A × B であることを意味する。
二つの関係 R: A → B, S: B → C の合成は
(a, c) ∈ S ∘ R ⇔ ∃b ∈ B s.t. (a, b) ∈ R かつ (b, c) ∈ S
で与えられる。