Öbek kuramında, "" ikili işlemine sahip bir G öbeğinin herhangi bir H altkümesi de "" işlemine göre bir öbek oluşturuyorsa, H 'ye G 'nin altöbeği ya da altgrubu denir. Başka bir tanımlamayla, eğer G öbeğindeki "" işleminin H 'ye daralması H 'de bir öbek işlemi veriyorsa H, G 'nin bir altöbeğidir.
G 'nin bir H özaltkümesi G 'nin işlemine göre bir öbek oluyorsa H ye özaltöbek ya da özaltgrubu denir.
H, sadece G nin birim öğesini içeriyorsa, yani {} kümesi ise H 'ye âdî altgrup ya da trivial altgrup denir.