値としての集合はセットと呼ぶことにする。 値 集合 型 スカラー スカラー集合 スカラー型 タプル タプル集合 タプル型 スカラーセット スカラーセット集合 スカラーセット型 タプルセット タプルセット集合 タプルセット型 リレーション リレーション集合 …

変数には次の種類がある。 基本変数（basic variable） スナップショット変数（sinapshot variable） 自動反応変数（reactive variable） 自動反応変数は、もしろ自動反応定数として使うべきかも知れない。 自動反応定数： 自動反応変数と同じだが、一度式を…

x is P ⇔ P(x) x1, ..., xn are P ⇔ P(x1, ..., xn) A equals B ⇔ A = B x in A ⇔ x∈A A on/within X ⇔ A⊆X x = y over X ⇔ x, y∈X ∧ x =X y

一般的な有限性は： 典型的有限集合 {1, ..., n} と同型 自分自身への単射で同型でないものが存在しない（自身自身への単射は常に同型） とかで定義する。自然数内の有限集合に関しては、上界の存在で定義できる。これはけっこう使いみちがある。例えば、集…