Понимание объединения в математической логике