群は空集合ではない