Підпростір (математичне), безліч P'' елементів простори Р, яке само є простором в тому ж сенсі, що і простір Р. Наприклад, всяка безліч елементів метричного простору є метричне П. В тривимірному векторному просторі R 3 будь-яка пряма або плоскість є відповідно П. R 1 і R 2 простору R 3 .