  A phylogenetic tree is a tree with a fixed set of leaves that has no vertices
of degree two.
  In this paper, we axiomatically define four other discrete structures on the
set of leaves.
  We prove that each of these structures is an equivalent representation of a
phylogenetic tree.
