There is only one node,
at the top level,
, of the tree, which is therefore full, and so an object
is homogeneous at level
just if
. But
is the identity function.