مجموعه تهی

تصویری از پنج جهان اول فون نویمان، تا V_4 V_0.

مجموعهٔ تهی الگو:به انگلیسی مجموعه‌ایست، که هیچ عضوی ندارد و معمولاً با علامت‌های $\varnothing$ یا $\{\}$ نشان داده می‌شود.

به‌صورت دقیق‌تر می‌توان نوشت: الگو:وسط‌چین البته باید در نظر گرفت طراح سوالات از مجموعه تهی چه برداشتی دارند

$M=\varnothing \iff \mathrm{\forall }x:x\in ̸M$ الگو:پایان

خواص

• به ازای هر مجموعهٔ $A$، تهی زیرمجموعه‌ای از $A$ است:

∀A: ∅ ⊆ A

• به ازای هر مجموعهٔ $A$، اجتماع تهی و $A$ برابر $A$ است:

∀A: A ∪ ∅ = A

• به ازای هر مجموعهٔ $A$، اشتراک تهی و $A$ برابر تهی است:

∀A: A ∩ ∅ = ∅

• به ازای هر مجموعهٔ $A$، حاصل‌ضرب دکارتی تهی و $A$ برابر تهی است:

∀A: A × ∅ = ∅

• تنها زیرمجموعهٔ مجموعهٔ تهی، خودش است:

∀A: A ⊆ ∅ ⇒ A = ∅

• تعداد اعضای مجموعهٔ تهی صفر است و به عبارتی متناهی است:

|∅| = 0

• مجموعه توانی مجموعهٔ تهی، مجموعه‌ای است که فقط شامل تهی می‌باشد:

$2^{\varphi }=\{\varphi \}$

مجموعۀ ناتهی

مجموعهٔ ناتهی الگو:انگلیسی مجموعه‌ای است که دست‌کم یک عضو داشته باشد. به عنوان مثال «مجموعهٔ انسان‌های با قد بالای ۲۸۰ سانتی‌متر» یک مجموعهٔ تهی و «مجموعهٔ انسان‌های با وزن کمتر از ۱۰۰ کیلوگرم» یک مجموعهٔ ناتهی است.