圏FdHilbと圏Relの比較

FdHilb	Rel
零空間	空集合
C	B（真偽値）
Cn	n = {1, 2, ...,n}
ベクトル	1変数述語（性質）
行列	関係
直和	直和（集合論的）
テンソル積	直積（集合論的）
内積	共通部分があるか
直交	無共分
変換	自己関係
射影変換	推移的関係
変換の指数	反射的推移的閉包
固有空間	関係で閉じた部分集合
固有ベクトル	不動点
複素共役	-
転置	転置
随伴	転置
部分空間族	部分集合族
1次元部分空間	単元集合
生成的部分空間族	被覆
基底的部分空間族	分割