Итак, вначале описание:

Насморк=>На сморк=>На смарку=>На высмаркивание
На высмаркивание - что?=>Уходит энергия, на что?=>на сопли.
Точнее говорить так: у меня уходит энергия на высмаркивание соплей.
Небольшой вывод=>Люди по сути своей математичны.(не делая акцент на то, что есть суть людей)
Поясняю: люди стараются сократить всё, но в меру. Когда же мера нарушается(аналогия:забыл побриться) теряется основное суждение и его составные(первоначальные), появляется короткая версия сути и в результате суждение не соответствует изначальному, и вместо того чтобы "без опытным" путём учиться, всё познаётся опытным путём(эмпирическим?).

Теперь сама теория.
Если имеется некое суждение  a, и |a| - суть, то верно следующее:

Представим суждение а, как некоторое количество суждений (на примере: У меня текут сопли (для наглядности сократил утверждение)), а=bcde.
Затем, вводится функция "собирательная"[F(x,y)=z], получаем следующее:
F(b,c)=f;F(d,e)=g
на примере выглядит так: "у меня" заменяем "я", "текут сопли" заменяем на "сопливый".
Т.е. bcde=>fg; у меня текут сопли => я сопливый.
Повторно применяем функцию к fg:
F(f,g)=h; Я сопливый => насморк.

Как результат:

a не равно h, однако |a|=|h|

Т.е. суть одна, а понятия представляются совершенно разным образом.



Данный процесс, как функция - не является сюрьекцией:
x1 не равен x2, f(x1)=f(x2)=y