つまりHが群Gの部分群であり、a,bがHの元でab=ba=eHを満たすならばab=ba=eGが成り立つ。
一个子群内的一元素之逆元素为群内的此元素的逆元素：若H是群G的子群，且a和b为会使得ab=ba=eH之H内的元素，则ab=ba=eG。