Называется это "круги Эйлера", формальная логика, 1й курс практически любого гуманитарного вуза )) Добавить и пересечь можно сколь угодно много кругов  (понятий). Дружба добавится симметричным третьим кругом (типа цветок) и будут зоны, где наложены: все три понятия, любые два, и каждое из них автономно )) Ничего сложного ))