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