многогранное множество