pp.163-170

==================================
動機的なこと
==================================
■否認（マゾ）と否定（サド）の非対称性は、
存在証明と構成の非対称性でもある。
マゾは、
否認によって外部への逃走線の存在を示すが、
否認は逃走線の構成を難しくするところがある。
それは外部（多様な文脈）を、
「語りえぬ何か」のように一括りに一元化するとき（そう受け取られるとき）である。
そのとき、
当然、
その議論は逃走線を歩く当事者に届かない。
一方、
（当事者とされる）サドは外部や多様な文脈をみないから一元化もしない。
外部を（全てではないにしろいくつかは）取り込み、
混同、
誤用を含め使うのではないか。


==================================
表象化 ｆ ： 対象の集合Ｓ → 表象の集合Ａ
==================================
■言葉の定義
・集合から代表を選択できるとき、
その集合は「見える」と形容する。
加算集合は見える。
非加算集合は見えないが、
選択公理を使えば見える。

・「見えない」集合を外部と呼ぶ。

・Ｓ＝Ａ＋Ｓ∩¬ＡのＳ∩¬ＡをＡの残滓と呼ぶ。

地（Ｓ）＝図（Ａ）＋図の残滓（Ｓ∩¬Ａ）
ワタシ（Ｓ）＝「わたし」（Ａ）＋「わたし」の残滓（Ｓ∩¬Ａ）
知覚対象（Ｓ）＝表象（Ａ）＋表象の残滓（Ｓ∩¬Ａ）
■例１．Ｓが有限集合のとき外部はない
Ｓ＝｛三毛猫、
白猫、
錆猫、
縞猫、
白犬、
黒犬｝
Ａ＝｛ネコ、
イヌ、
トリ、
トラ｝
ｆ＝｛三毛猫→ネコ、
白猫→ネコ、
錆猫→ネコ、
縞猫→ネコ、
白犬→イヌ、
黒犬→イヌ｝
ネコの分類＝｛三毛猫、
白猫、
錆猫、
縞猫｝
イヌの分類＝｛白犬、
黒犬｝
ネコの代表＝たとえば三毛猫
イヌの代表＝たとえば白犬
■例２．Ｓが非加算集合のときどうなるか？（Ａは表象集合なので高々加算集合）