נתון עץ החלטה בעל קודקוד שורש המפוצל עפ"י משתנה רציף ושני קודקודים טרמינליים. מה התנאי לכך שהעץ מפריד לינארית בין הסיווגים?