Definition:Power Series