リレーショナルと言わずに形容詞もリレーションで済ませる。で、リレーションスキーマとリレーション指標（relational signature）は同義語。Sがリレーション指標とは、Sのインデックスセット|S|があり、ドメイン割り当て δS:|S|→|Set| があること。指標射 j…

苦肉の策だが、あまり一般的でない用語と記法を導入する。 親集合： A⊆X のとき、Aから見てのXのこと コンビネーション： 有限部分集合と同義 Combination(X) = FinSubset(X) = Powfin(X) Subset(X) = Pow(X) ラショネールは、高校の順列・組み合わせ（Permu…

階数n n階のモノ・値 (n + 1)階のモノ・集合 0 ドメイン要素（値）、タプル 制約された値、絞り込まれたタプルの集合 1 リレーション 制約されたリレーションの集合 2 カインド (考えない) 関数・演算 値の関数・演算：引数が値 タプルの関数・演算：引数が…

通常の用語 退避先 備考 タプル 配列、ペア 長さ2の配列をペアと呼ぶ 関係（relation） 関連（relationship） 二項関連しか扱わない 直積 ペア積 n-直積はペア積の繰り返しとする 結合（composition） 合成 合成が多数派 域（domain） 始域（source） 圏論の…