В математике, в частности в теории порядка и функциональном анализе, подмножество S векторной решетки называется твердое тело и называется идеалом, если для всех s в S и x в X, если | x | ≤ | s | тогда x принадлежит S. упорядоченное векторное пространство, порядок которого является архимедовым, называется упорядоченным архимедом. Если S является подмножеством X, то идеал, порожденный S, является наименьшим идеалом в X, содержащим S. Идеал, порожденный одноэлементным множеством, называется главным идеалом в X.
Пересечение произвольного набора идеалов в X снова является идеалом и, более того,, X явно идеал сам по себе; таким образом, каждое подмножество X содержится в единственном наименьшем идеале.
В локально выпуклой векторной решетке X, полярный каждой твердой окрестности 0 является твердым подмножеством непрерывного двойственного пространства ; кроме того, семейство всех твердых равностепенно непрерывных подмножеств является фундаментальным семейством равностепенно непрерывных множеств, полярных (в двузначном ) образуют базу окрестности начала координат для естественной топологии на (т.е. топология равномерной сходимости на равностепенно непрерывном подмножестве ).