Статьи в словаре Ефремовой
ирония
ж.
1. Тонкая насмешка, прикрытая серьезной формой выражения или внешне положительной оценкой.
ирония
ж.
1. Стилистический прием контраста видимого и скрытого смысла высказывания, создающий эффект насмешки (в литературоведении).