Öbek kuramında, "\cdot" ikili işlemine sahip bir G öbeğinin herhangi bir H altkümesi de "\cdot" 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 "\cdot" 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 {eG} kümesi ise H 'ye âdî altgrup ya da trivial altgrup denir.
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.