Altöbek

Ö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 {$e_G$} kümesi ise H 'ye âdî altgrup ya da trivial altgrup denir.