無名: 集合 要素 型 インスタンス 空間 点 関係 ? 写像 ? 写像の要素相当概念は、呼び出し/発動〈call | invocation | インボケーション〉と呼ぶことにする。関係のインスタンスは、RDFでは (a, b)∈R を (a, R, b) と書いてトリプルと呼ぶ。 関数の呼び出しまたはトリプル 関係のトリプル 同義語: execution, action, transition, move それぞれ写像とインボケーションがある。 inut, trigger, command, stimulus, action {label}? output, event, message, …