An appendectomy is a surgical procedure that involves removal of the appendix.