Подпространство (математическое), множество P' элементов пространства Р, которое само является пространством в том же смысле, что и пространство Р. Например, всякое множество элементов метрического пространства есть метрическое П. В трёхмерном векторном пространстве R3 любая прямая или плоскость являются соответственно П. R1 и R2 пространства R3.