(also called 'a play on words') a humorous use of words which sound the same or of two meanings of the same word, e.g. 'The soldier laid down his arms'

play on words