juego de palabras, retruécano

pun(noun)

a type of joke in which words are used that have a similar sound, but a different meaning

One example of a pun would be `A pun is a punishable offence'.

hacer un juego de palabras

pun(verb)

to make a pun.