行列圏

Set

=

Rel

= S とする。類X上のK係数行列の圏をMat(X, K)とする。Bはブール半環として、Rel≒Mat(S, B)。よって、Set⊆Mat(S, B)。

半環RがB⊆Rならば、Set⊆Rel⊆Mat(S, R) となる。