Dimension Ein Polyeder PPP hat die Dimension dim(P)=k\operatorname{dim}(P)=kdim(P)=k , wenn maximal k+1k+1k+1 affin unabhängige Punkte in PPP sind. Wenn dim(P)=n\operatorname{dim}(P)=ndim(P)=n gilt ist ppp volldimensional.