a humorous use of a word with more than one meaning or of words with the same or a similar sound but different meanings
A good pun may be admitted among the smaller excellencies of lively conversation — James Boswell
[prob short for obsolete punnet, pundigrion, perhaps alteration of Italian puntiglio: see punctilio]