У вас unique users в web = 500 тыс, в app = 400 тыс, а общий union по user_id = 700 тыс. Какой intersection (overlap) между web и app?

Если вы знаете размеры set по отдельности и их union, то intersection — это то, что было посчитано дважды. В примере 500 + 400 - 700 = 200 тыс. Такие расчёты помогают объяснить, почему сумма по источникам не сходится с общим unique users. Также это полезный проверка здравого смысла на реалистичность overlap.