Se llama envolvente convexa de un conjunto dado C al menor (por inclusión) conjunto convexo que contiene a C (es fácil ver que siempre existe).