نظریه مجموعه‌های مرتب و چندوجهی‌های محدب