  So the way to go from the picture to the function is that each set e(v) is the set of children of v. In terms of the kind of notation we have seen before, we prefer to write this system in a way that elides e: