زیرحلقه

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