جسم محدب في الفضاء الإقليدي Rn هو مجموعة محدبة متراصة ذات جزء داخلي غير فارغ. يكون الجسم متماثلاً إذا كان مركزيًا بالنسبة للأصل (x∈K ⇔ −x∈K). يرمز 𝒦n لمجموعة الأجسام المحدبة في Rn وتُزَوَّد بمسافة هاوسدورف، فتكون فضاءً كاملاً. إذا احتوى K الأصل داخليًا، يُعرَّف قطبي K*={u:⟨u,v⟩≤١ ∀v∈K} بحيث (K*)*=K وK٢⊂K1⇒K1*⊂K2*.
