A pun is a play on words which have the same sound but different meanings or an expression in which two different applications of a word present an odd or ludicrous idea. It’s kind of quibble or equivocation.