``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 adi altgrup ya da trivial altgrup denir.
cebirsel yapılar matematik-taslak