עץ בינארי הוא עץ, שבו לכל קודקוד יש לכל היותר שני בנים, ולכל קודקוד, פרט לקודקוד מסוים הנקרא שורש, אב יחיד. אבות ובנים מוגדרים בעץ כזה לפי הקשתות: a הוא אב של b, ו- b הוא בן של a, בדיוק כאשר יש קשת מ- a ל-b, ומרחקו של a מהשורש קטן ממרחקו של b מהשורש. קודקוד של עץ כזה נקרא גם צומת.