The general procedure they present associates to every strongly local vertex operator algebra V a conformal net AV acting on the Hilbert space completion of V, and prove that the

isomorphism class of AV does not depend on the choice of the scalar product on V.

We shall always identify a tree shape, an ordered tree shape, a cladogram, or an ordered cladogram, with its

isomorphism class, and in particular we shall make henceforth the abuse of language of saying that two of these objects, T, T', are the same, in symbols T = T', when they are (only) isomorphic.

As E [??] E ', ([GAMMA], x, E) and ([GAMMA], x, E') cannot be elements of the same

isomorphism class in S.

As E [??] E', ([GAMMA], x, E) and ([GAMMA], x, E') cannot be elements of the same

isomorphism class in S.

* the identity morphism of a pomonoid S is the

isomorphism class [S] of the Pos-prodense biposet [sub.S][S.sub.S].

Let T!prime^ be a theory obtained from T by removing all but a single model from each

isomorphism class of the models of T.

Suppose A is an artinian ring, with indecomposable A-modules {[P.sub.[alpha]] |[alpha] [member of] I} (representatives from each

isomorphism class for some index set I).

In Theorem 5.10 we show that for each

isomorphism class D of skew diagrams, the number [r.sub.[lambda]] (D), of [lambda]-removable diagrams in D, can be expressed as a polynomial with rational coefficients in variables [r.sub.[lambda]] (C), where C runs over the set of all

isomorphism classes of connected skew diagrams of size [absolute value of C] [less than or equal to] [absolute value of D].

Lemma 3.2 If exactly one representative of every

isomorphism class of cubic connected graphs up to n - 2 vertices is given, then applying bundled triangle insertion to one member of each equivalence class of extensible sets that leads to a cubic connected graph on n vertices generates exactly one representative for every

isomorphism class of cubic connected graphs on n vertices that contain reducible triangles.

By a classification we mean a cross-section for the

isomorphism classes, i.e., a set of objects in which precisely one representative for each

isomorphism class occurs.

But, in general, the Hopf algebra R(G) fails to determine the

isomorphism class of G [11, p.