無名：
| 集合 | 要素 |
| 型 | インスタンス |
| 空間 | 点 |
| 関係 | ? |
| 写像 | ? |
写像の要素相当概念は、呼び出し／発動〈call | invocation | インボケーション〉と呼ぶことにする。関係のインスタンスは、RDFでは (a, b)∈R を (a, R, b) と書いてトリプルと呼ぶ。
- 関数の呼び出しまたはトリプル
- 関係のトリプル
同義語：
- execution, action, transition, move それぞれ写像とインボケーションがある。
- inut, trigger, command, stimulus, action {label}?
- output, event, message, responce, notification
ムーア vs ミーリー：
- ムーアマシン： 宝物は、旅の到着地で得られる。
- ミーリーマシン： 宝物は、旅の過程で得られる。
旅の到着地と旅の過程が1:1対応するなら、ムーアマシンとミーリーマシンの差はない。ムーアマシンはミーリーマシンに埋め込める。
対応語：
| 関係データベース | コンテナ | NoSQLデータベース |
| テーブルスキーマ | シェープ | (スキーマ) |
| カラム名 | ポジション | パス |
| タプル〈レコード〉 | データ | ドキュメント |
| テーブル状態 | データコレクション | コレクション状態 |
| ドメイン | (関手の引数) | プリミティブ型 |
