Большой энциклопедический словарь - ирония

2)] Стилистическая фигура: выражение насмешки или лукавства посредством иносказания, когда слово или высказывание обретает в контексте речи смысл, противоположный буквальному значению или отрицающий его

3) Вид комического, когда смешное скрывается под маской серьезного (в противоположность юмору) и таит в себе чувство превосходства или скептицизма. .