При расчёте union трёх set вы посчитали |A union B union C| = |A| + |B| + |C| - |A intersection B| - |A intersection C| - |B intersection C|, но не добавили |A intersection B intersection C|. Какое смещение в оценке union вы получите?

Тройной overlap входит в каждое одиночное множество и в каждое парное intersection, поэтому при вычитании парных пересечений он обнуляется. Но в union он должен учитываться один раз, поэтому его нужно добавить обратно. Если тройной intersection неизвестен, выражение без него даёт нижняя граница для union. Это типичный проверка здравого смысла при работе с тремя channel.