What is Pun ?
Pun is (noun) a play with words which have several different meanings He made an awful pun about ‘ploughing on’ with his book on agriculture. Synonym witticism (verb) to make puns He was punning on the two senses of ‘hedge’. (NOTE: punning punned)
source: Easier English, Student Dictionary Upper Intermediate Level