Есть определение:
Если

-

-мерный симплициальный комплекс в

, то
объединение 
всех его симплексов называется

-мерным полиэдром в

.
Вопрос, разве "объединение" уже не произведено при построении симплициального комплекса? Чем он тут отличается от полиэдра?