According to the 1755 dictionary, Samuel Johnson’s exhaustive and definitive work?
“A mode of speech in which the meaning is contrary to the words;”
Image of Johnson's Irony.
The venerable Beeb, their dictionary defines it in this fashion.
“Irony is a way of speaking in which you say something that is inappropriate, as joke or an insult.
“The IRONY of a situation is an aspect, which is strange or amusing, because it is the opposite of what you expect.
Always interesting to see other ways of understanding.
My original irony v. sarcasm post. 15 years ago? Wow, I’m getting to be a cranky old man.