ZFCで、置換公理が採用される前に使われていたのが分出公理である。
もう100年も前の公理だが、分出公理を吟味すると、
よーするに、内包となるためには「最初から」なんらかの集合の要素に
なっていなければならない、というズルい方法であるw
(圏論的に)大きくならないように、最初から小さいものだけを集めている。
このズルさと、クオリアは「似ている」。
赤いとされるものだけを集めて赤のクオリアを作る。
統合情報である。