Опорная плоскость
Опо́рная пло́скость к множеству (в пространстве), плоскость, которая содержит точки замыкания , и такая, что множество целиком лежит по одну сторону от этой плоскости, т. е. в одном из двух определяемых плоскостью замкнутых полупространств.
Граничную точку множества , через которую проходит хотя бы одна опорная плоскость, называют опорной точкой . У выпуклого множества все его граничные точки – опорные. Последнее свойство Архимед использовал как определение выпуклости.