Dave The Gnome:

Irony and sarcasm are related, as you point out. Sarcasm is a subset of irony, distinguished by a higher level of "bite" or maybe hostility. Irony may be merely tongue-in-cheek.

Dave-the-Pedant