A homomorphism that, when viewed as a function, is a
is an isomorphism then the algebraic structures G and H are said to be
isomorphic and so exhibit the same algebraic properties. Isomorphic trees are
trees that are isomorphic as directed graphs.