sharpener: any implement that is used to make something (an edge or a point) sharper
recursion: (mathematics) an expression such that each term is generated by repeating a particular mathematical operation