A ve B kümeleri G'nin alt grubu ise A∩B kümesi G nin alt grubudur. İspatı
Grup tanımı ve alt grup tanımını yazabilir misiniz?