FINISHER Synonyms

• a person who closes something

• (baseball) a relief pitcher who can protect a lead in the last inning or two of the game

• (comparative of `near' or `close') within a shorter distance

• a person with a record of successes

• someone who exterminates (especially someone whose occupation is the extermination of troublesome rodents and insects)

• With all parts included; with nothing missing; full.

• Finished; ended; concluded; completed.

• Generic intensifier.

• (of a metric space) In which every Cauchy sequence converges to a point within the space.

• (of a lattice) In which every set with a lower bound has a greatest lower bound.

• (of a category) In which all small limits exist.

• (of a proof system of a formal system with respect to a given semantics) In which every semantically valid well-formed formula is provable.

• (of a problem) That is in a given complexity class and is such that every other problem in the class can be reduced to it (usually in polynomial time or logarithmic space).

• One who completes something.