دسترسی به این تاربرگ بسته شده است. دیسهای ∃𝐼 (∅∈𝐼 ∧ ∀𝑥 (𝑥∈𝐼 ⇒ 𝑥∪{𝑥}∈𝐼))∃I (∅∈I ∧ ∀x (x∈I ⇒ x∪{x}∈I))