[гр. eironeia] 1. тонкая, скрытая насмешка; 2. стилистический прием контраста видимого и скрытого смысла высказывания, создающий эффект насмешки; чаще всего - заведомое несоответствие положительного значения и отрицательного подтекста, напр.: (пушкин).
Значение слова ИРОНИЯ в Словаре иностранных выражений
Что такое ИРОНИЯ
Словарь иностранных выражений. 2012