Теорема о существовании совокупности всех операций на множестве