Возьмем вид А, составляющий часть рода В семейства С и т. д. В род В, помимо А, входят и другие виды: назовем их А'(при этом А'=В — А). Аналогично и семейство С будет включать, помимо В, и другие роды: назовем их В' (где В'=С — В) и т, д. Мы имеем тогда композицию: А+А'=В; В + В'=С; С+С'=D и т.д.; обратимость: В — А' =А и т. д.; ассоциативность: (А+А') +В'=А + (А'+В') =С и т. д., и все остальные признаки группировки. Именно эта первая группировка и порождает классический силлогизм.

2. Вторая элементарная «группировка» использует операцию, состоящую не в объединении индивидов, рассматриваемых как эквивалентные (как в первой группировке), а в соединении асимметричных отношений, которые выражают различия этих индивидов. Объединение этих различий предполагает тогда последовательный порядок, и, следовательно, «группировка» образует «качественную сериацию».

Если отношение 0<А назвать а, отношение 0<В — b, а отношение 0<С — соответственно с, то отношение А<В можно назвать тогда а', отношение B<С — b' и т. д., и мы получаем группировку а+а'-b; b+ b'=с и т. д. Обратная операция состоит в вычитании отношения, что эквивалентно прибавлению обратного отношения. Группировка эта, таким образом, параллельна предыдущей, с той единственной разницей, что операция сложения в этом случае включает порядок последовательности (и, следовательно, не является коммутативной); на транзитивности, свойственной этой сериации, основывается умозаключение А<В, В<С, следовательно А<С.

3. Третья основная операция — это операция замещения, основа эквивалентности, которая объединяет в составной класс различные простые классы, полученные в результате предшествующего объединения.

В самом деле, между двумя элементами А1 и А2 одного и того же класса В нет такого же равенства, какое имеет место между равными числами в математике; в этом случае мы имеем дело просто с качественной эквивалентностью, т. е. возможным замещением, но лишь в той мере, в какой можно заменить А2 (т. е. «другие» отношению к А2 элементы) на А', (т. е. «другие» по отношению к А1 элементы). Отсюда группировка: А1+А'1=А2+ +А2(=В); В1+В'1 = В2 + В'2( = С) и т. д.