What is the use of words in a sense opposite to their proper meaning; as when a court of justice is called a court of vengeance called?

antiphrasis — The use of words in a sense opposite to their proper meaning; as when a court of justice is called a court of vengeance. (Webster's 1913.)

Sources