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