Zwei Polytope (also Polygone, Polyeder usw.) und heißen kombinatorisch dual, wenn ihre Seitenverbände (die Inklusion ihrer Seiten, also Ecken, Kanten, Flächen usw.) antiisomorph sind.
Diese Aussage lässt sich auf die geometrische Beobachtung zurückführen, dass zwei konvexe Polyeder genau dann durch eine Hyperebene trennbar sind, wenn ihr Durchschnitt leer ist.
Die zulässigen ganzzahligen Punkte sind rot eingezeichnet, und die rot gestrichelten Linien kennzeichnen ihre konvexe Hülle, also das kleinste Polyeder, das alle diese Punkte enthält.