モノの整理

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

関数・演算

1. 値の関数・演算：引数が値
2. タプルの関数・演算：引数がタプル
3. リレーションの関数・演算：引数がリレーション
4. カインドの関数・演算：引数がカインド

リレーションの関数・演算

1. 集合演算∩、∪（結果はホモジニアスではないかも）、-、×（結果はリレーションではない）、#、*
2. Heading(R)：heading(t)の持ち上げ。Rがリレーションなら単一値
3. タプル型Tの持ち上げT~。T~(R) := ∀x∈R.T(x)。
4. Rの射影R[A]、Rの関連化R[A, B]の性質
5. リレーションの述語なら論理演算が可能