Теорема о существовании и единственности объединения элементов множества по множеству функцией