对于一个非空的数据结构，如果它有且只有一个根结点，并且每个结点最多有一个前件，也最多有一个后件，那么( )。