「用語ペアの関係性」の続き。
- ⊆： 包含的
- ⊆→ ： 規準的埋め込み可能
- ⊥： 排他的
- ∪： 総称
数、単項式、多項式
単純データ、リストデータ
- 用法 1： 単純データ ⊥ リストデータ、単純データ ⊆→ リストデータ、単純データ ＝ 非リストデータ
- 用法 2： 単純データ ⊆ リストデータ
いずれにしても、リストの項目データを単純データと呼ぶと入れ子リストで破綻する。「リスト関手の引数」と「単純な対象」は違う。
モナド的状況のときは：
- 厳密に包含関係があるか
- 規準的埋め込みが存在するか
の区別が大事。
原子論理式、複合論理式
- 用法 1： 原子論理式 ⊆ 複合論理式 ＝ 論理式、原子論理式 ⊥ 非原子論理式
- 用法 1： 原子論理式 ⊥ 複合論理式、 論理式 ＝ 原子論理式∪複合論理式
有限集合、加算集合
- 用法 1： 有限集合 ⊆ 加算集合
- 用法 2: 有限集合 ⊥ 加算集合、たかだか加算集合 ＝ 有限集合∪加算集合
確率的、決定性
- 非確率的関数 ⊆ 確率的関数 確率的関数＼非確率的関数 ＝ 真の確率的関数 ＝ ？否非確率的確率的関数
- 決定性関数 ⊆ 非決定性関数 非決定性関数＼決定性関数 ＝ 真の非決定性関数 ＝ ？否決定性非決定性関数
