whether a natural de?nition of a tree can be given, where nodes are sets of states. We show that, indeed, trees can be de …