زیرحلقه

زیرمجموعه‌ای از یک حلقۀ مفروض که نسبت به عمل‌های آن حلقه، خود نیز یک حلقه باشد