Pun, n. [Cf. Pun to pound, Pound to beat.] A play on words which have the same sound but different meanings; an expression in which two different applications of a word present an odd or ludicrous idea; a kind of quibble or equivocation. Addison.
A better put on this word was made on the Beggar's Opera, which, it was said, made Gay rich, and Rich gay. Walpole.