[n] a humorous play on words; "I do it for the pun of it"; "his constant punning irritated her"
paronomasia, pun, punning