Gunakan monotonisitas tutupan untuk satu inklusi. Untuk inklusi lain, perhatikan bahwa gabungan dua himpunan tertutup tetap tertutup.