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