Garuda Code

هل يمكن للمجموعة الفارغة أن تعمل ككون لشبه مجموعة (أي مجموعة مجهزة بعملية ثنائية ترابطية)؟