是群,集合H是G的子集,集合H的元素无限,是子群集的充要条件是: