Definition:Infinite Order (Structure)