Kapalılık özelliği, bir kümedeki herhangi bir elemanın bir işleme girdiğinde elde edilen sonucun yine aynı kümenin elemanı olması durumudur. Kapalılık özelliğini kanıtlamak için "doğrudan ispat metodu" kullanılır. Kapalılık özelliğine sahip bazı işlemler ve kümeler: Doğal sayılar (N) üzerinde toplama işlemi: İki doğal sayının toplamı yine bir doğal sayıdır, dolayısıyla N kümesi toplama işlemine göre kapalıdır. Tam sayılar (Z) üzerinde çarpma işlemi: İki tam sayının çarpımı yine bir tam sayıdır, bu nedenle çarpma işlemi tam sayılar kümesinde kapalıdır. Tek sayılar kümesinde çarpma işlemi: İki tek sayının çarpımı yine tek sayıdır, dolayısıyla bu işlem tek sayılar kümesinde kapalıdır. Kapalılık özelliğine sahip olmayan bazı işlemler ve kümeler: Doğal sayılar (N) üzerinde çıkarma işlemi: İki doğal sayının farkı bir doğal sayı olmayabilir, bu yüzden çıkarma işlemi doğal sayılar kümesinde kapalı değildir. Tam sayılar (Z) üzerinde bölme işlemi: İki tam sayının bölümü bir tam sayı olmayabilir, bu nedenle bölme işlemi tam sayılar kümesinde kapalı değildir.