今回も主観と客観という概念と集合という概念を交えて考察します。
「主観」概念を表す情報を要素とする集合Sが、
「客観」概念を表す情報を要素とする集合Kを包摂している。
と定義します。
数学の集合論からは
集合Sは、1個人に属する情報の要素の数は無限に有るので無限集合になります。またさらにその無限も、要素数も数え上げることが可能な可算無限集合と要素数を数え上げることが不可能な否（非）加算無限集合という2つの無限があるそうです。
集合Kは、複数の有限の人数からなる加算な共通部分集合なので、
要素の数NKは最大値を持ち、有限集合となるようです。
ここで、先ほどの、
集合Sと集合Kを用いて計算を行い考察します。
（集合Sと集合Kは共に有限集合とします。）
S=(S-K)+K
という計算が成立します。
ここで、
(S-K)をKを否定する集合NOTKと定義します。
つまり、
NOTK=S-K であり、
S=NOTK+K と表現します。
すると、
集合Kを集合Sの要素とすると、
Kを否定した、集合NOT Kも集合Sの要素となります。
これは、
集合Sには集合Kと（集合Kの否定）集合NOTKが同時に包摂されています。
また、
集合Sの中には集合Kと（集合Kの否定）集合NOTKが同時に成立していることになります。
つまり、
集合Sは集合Kが存在している。且つ、
集合Sは集合Kの否定集合NOTKが存在している。と定義します。
これより、
「主観」概念集合Sには「客観」概念集合Kが存在している。且つ、
「主観」概念集合Sには「客観」概念集合Kの否定概念NOTKが存在している。と定義します。
さらに、
「主観」概念には「客観」概念が存在している。且つ、
「主観」概念には「客観」概念の否定概念が存在している。
と定義します。
さらに、
ある有限集合の包摂関係において順序関係が存在する集合は、
ある有限集合内に（要素である集合）と（要素である集合の否定集合）が同時に存在している。と結論します。