trees in discrete mathematics