FdHilb Rel 零空間 空集合 C B（真偽値） Cn n = {1, 2, ...,n} ベクトル 1変数述語（性質） 行列 関係 直和 直和（集合論的） テンソル積 直積（集合論的） 内積 共通部分があるか 直交 無共分 変換 自己関係 射影変換 推移的関係 変換の指数 反射的推移的…

FdHilbとRelが似てることは、ボブ・クックが「物理系実務者…」のなかで指摘している。と、自分で書いているよ(苦笑)。実際、クック論文「4.Quantum?」のところ（P.4からP.6）に記述がある。特に、対象を有限集合だけに制限したRel＝FinRelは手で簡単に触れる…