Duale kegel

Een duale kegel $C^{\ast }$ van een deelverzameling $C$ in een Euclidische ruimte ${ℝ}^n$ is de verzameling

$C^{\ast }=\{y\in {ℝ}^n:y\cdot x\ge 0\mathrm{\forall }x\in C\},$

waar "·" het inwendig product is.

$C^{\ast }$ is altijd een convexe kegel, zelfs als $C$ niet convex is, of zelfs ook maar een kegel.