مجموعه تهی

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

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

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

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

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

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

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

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

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