т.е. всякое бесконечное подмножество пространства содержит хотя бы одну предельную точку?
Всякое бесконечное замкнутое

Или тогда уж не "содержит", а "имеет". Глагол "содержит" означает, что предельная точка принадлежит самому множеству, это может быть не так
