Definition:Infinite Group