nouns
witty language used to convey insults or scorn
"he used sarcasm to upset his opponent"; "irony is wasted on the stupid"; "Satire is a sort of glass, wherein beholders do generally discover everybody's face but their own"--Jonathan Swift
incongruity between what might be expected and what actually occurs
"the irony of Ireland's copying the nation she most hated"
is a type of (narrower)
the quality of disagreeing; being unsuitable and inappropriate
a trope that involves incongruity between what is expected and what occurs
is a type of (narrower)
language used in a figurative or nonliteral sense