Öbek kuramında, "" ikili işlemine sahip bir G öbeğinin herhangi bir Haltkü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" işleminin H 'ye daralması H 'de bir öbek işlemi veriyorsa H, G 'nin bir altöbeğidir. öbeğindeki "
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 {eG} kümesi ise H 'ye âdî altgrup ya da trivial altgrup denir.
" ikili işlemine sahip bir G