Толковый словарь Ушакова - ирония

иронии, ж. (греч. eironeia) (книжн.). Риторическая фигура, в к-рой слова употребляются в смысле, обратном буквальному, с целью насмешки (лит.), напр. слова лисицы ослу: "Откуда, умная, бредешь ты, голова?" Крылов. || Тонкая насмешка, прикрытая серьезной формой выражения или внешне положительной оценкой. В его похвалах чувствовалась злая ирония. Сказать что-н. с иронией. Ирония судьбы (книжн.) насмешка судьбы, странная, непонятная случайность. .