عضویت در گروه
مبانی منطق و نظریه‌ی مجموعه‌ها