In group theory, a branch of mathematics, given a group G under a binary operation ∗, a subset H of G is called a subgroup of G if H also forms a group under the operation ∗. More precisely, H is a subgroup of G if the restriction of ∗ to H × H is a group operation on H. This is often denoted H ≤ G, read as "H is a subgroup of G".

கணிதத்தில் ஈருறுப்புச் செயலி * ஐப் பொறுத்த ஒரு குலம் G இன் உட்கணம் H ஆனது அதே ஈருறுப்புச் செயலி * ஐப் பொறுத்து குலமாக அமையுமானால் G இன் உட்குலம் (subgroup) எனப்படும். இது குறியீட்டில் H ≤ G எனக் குறிக்கப்பட்டு, "H ஆனது G இன் உட்குலம்" என வாசிக்கப்படுகிறது.