Толковый словарь Кузнецова - ирония

1. Тонкая, скрытая насмешка. Говорить, глядеть с иронией. Не понимать, не чувствовать иронии. И. судьбы (нелепая, странная случайность). По иронии судьбы он оказался там, куда и не собирался. По злой иронии (как будто в насмешку). Не хотел после института возвращаться в родной город, но по злой иронии именно туда и попал работать.

2. Стилистический оборот, фраза, слово, в которых преднамеренно утверждается противоположное тому, что думают о лице или предмете.

◁ Иронический (см.).

Большой толковый словарь русского языка. 1-е изд-е: СПб.: Норинт

С. А. Кузнецов.

1998