множество Р' элементов пространства Р, которое само является пространством в том же смысле, что и пространство Р.