Большой энциклопедический словарь
ИРОНИЯ
ИРОНИЯ (от греч. eironeia — притворство) — ..
1) отрицание или осмеяние, притворно облекаемые в форму согласия или одобрения...
2) Стилистическая фигура: выражение насмешки или лукавства посредством иносказания, когда слово или высказывание обретает в контексте речи смысл, противоположный буквальному значению или отрицающий его...
3) Вид комического, когда смешное скрывается под маской серьезного (в противоположность юмору) и таит в себе чувство превосходства или скептицизма.