A tree data structure that keeps data sorted and allows searches, insertions, and deletions in logarithmic amortized time.