بنداشت‌های کوراتوفسکی

همچنین شناخته شده با: اصول کوراتوفسکی
برابر انگلیک (انگلیسی): Kuratowski axiom set

1.x ≤ xᶜ x ≤ xᶜ x ≤ xᶜKC.1axiom
2.𝑥ᶜᶜ = 𝑥ᶜ xᶜᶜ = xᶜ xᶜᶜ = xᶜKC.2axiom
3.(𝑥+𝑦)ᶜ = 𝑥ᶜ+𝑦ᶜ (x+y)ᶜ = xᶜ+yᶜ (x+y)ᶜ = xᶜ+yᶜKC.3axiom
4.0ᶜ = 0 0ᶜ = 0 0ᶜ = 0KC.4axiom