این که تهی، زیرمجموعه‌ی هر مجموعه‌ای هست رو بلد باش