چندوجهی را به دو گونه تعریف میکنند.
- پوشش محدب (convex hull) -ِ متناهی تعداد نقطه.
در اینصورت محدب بودن آن از تعریفش بدیهی است.
- اشتراک تعداد متناهی نیمفضاهای بسته.
در این صورت از اینکه هر نیمفضای بسته یک مجموعهٔ محدب است و اینکه اشتراک دو مجموعه (و در نتیجه متناهی مجموعه) محدب، محدب است، حکم نتیجه میشود.
