/ pʌn; NAmE / noun , verb
■ noun
pun (on sth) the clever or humorous use of a word that has more than one meaning, or of words that have different meanings but sound the same :
We're banking on them lending us the money—no pun intended!
—compare wordplay
■ verb
( -nn- ) [ v ] to make a pun
••
WORD ORIGIN
mid 17th cent.: perhaps an abbreviation of obsolete pundigrion , as a fanciful alteration of punctilio a fine or petty point of conduct or procedure .