  We survey the definition and some elementary properties of real trees. There
are no new results, as far as we know. One purpose is to give a number of
different definitions and show the equivalence between them. We discuss also,
for example, the four-point inequality, the length measure and the connection
to the theory of Gromov hyperbolic spaces. Several examples are given.
