Bir kümenin toplama işlemine göre kapalı olduğunu kanıtlamak için, kümenin iki elemanının toplamının da yine o kümenin bir elemanı olduğunu göstermek gerekir. Doğrudan ispat metodu kullanılarak kapalılık özelliği şu şekilde kanıtlanabilir: 1. A kümesinin herhangi iki elemanı (a ve b) alınır. 2. a + b işleminin sonucu hesaplanır. 3. Elde edilen sonucun (a + b) yine A kümesine ait olduğunu gösterilir. Eğer kapalılık özelliği sağlanmıyorsa, bunun ispatı için karşıt örnek verme metodu kullanılabilir. Örnek olarak, N = {0, 1, 2, 3, ...} kümesinin toplama işlemine göre kapalılığı şu şekilde incelenebilir: İki doğal sayı olan 5 ve 10 alındığında, 5 + 10 = 15 olur. 15 de bir doğal sayı olduğundan, N kümesi toplama işlemine göre kapalıdır. Ancak, A = {x | x = 5k, k ∈ N} = {0, 5, 10, ...} kümesinin toplama işlemine göre kapalı olmadığı şu şekilde gösterilebilir: x₁ = 5k₁ ve x₂ = 5k₂ alındığında, x₁ + x₂ = 5(k₁ + k₂) olur. Bu ifade, (5m - 1) formuna uymadığı için A kümesi toplama işlemine göre kapalı değildir.