ИРОНИЯ

          [гр. eironeia] - 1) тонкая насмешка, выраженная в скрытой форме; 2) употребление слова или целого выражения в противоположном смысле с целью высмеивания.

(Словарь иностранных слов, 2006)

ирония

          – гр. [eironeia насмешка] – 1) тонкая скрытая насмешка; 2) стилистический оборот, при котором притворно утверждается противоположное тому, что мыслится о предмете (или лице), или слово употребляется в противоположном значении (напр.:«Отколе, умная, бредешь ты, голова?» – слова лисицы ослу в басне Крылова).

(Словарь иностранных слов, 1937)
ир..