Inferred species trees. The set inferred from the event labeled gene tree (T,t, σ) does not necessarily define a unique species tree. For clarity of exposition, we have identified, via the map σ, the leaves of the gene tree and of the set of triples with the species they reside in.
Hernandez-Rosales et al. BMC Bioinformatics 2012 13(Suppl 19):S6 doi:10.1186/1471-2105-13-S19-S6