لاحظ أن المجموعات المغلقة من X ∪ P تتخذ الصيغة: Q، حيث Q مجموعة جزئية من P، أو B ∪ P، حيث B مجموعة مغلقة من X.
Note that the closed sets of X ∪ P are of the form: Q, where Q is a subset of P, or B ∪ P, where B is a closed set of X.