Значение слова ИРОНИЯ в Энциклопедическом словаре

Что такое ИРОНИЯ

, -и, ж. Тонкая, скрытая насмешка. Я. судьбы, (перен.: странная случайность). * По алой иронии - как будто в насмешку. II прил. иронический, -ая, -ое.

Энциклопедический словарь.