یک درخت مجموعه ای متناهی ازیک یا بیشترگره می باشد، به طوریکه :
یک گره خاص به عنوان ریشه در نظر گرفته می شود.
بقیه ی گره ها به n ≥ 0 مجموعه ی جدا ازهم T1,T2,…,Tn افراز می شوند که هرکدام یک درخت هستند.
هرکدام ازمجموعه ها یک زیردرخت نامیده می شوند.(تعریف بازگشتی)
شرط جدا بودن مجموعه ها مانع از اتصال زیر درخت ها می شود.