RT Journal Article SR 00 ID 10.1007/BF00180139 A1 Kornet, D.J. A1 Metz, J.A.J. A1 Schellinx, H.A.J.M. T1 Internodons as equivalence classes in genealogical networks: Building-blocks for a rigorous species concept JF Journal of Mathematical Biology YR 1995 FD 1995-01 VO 34 IS 1 SP 110 OP 122 K1 Genealogical network; Permanent splits; Species definition; Hennigian or internodal species concept; Equivalence relation; Internodon AB Among the options suggested in phylogenetic systematics to solve the species problem is the Hennigian or internodal species concept. This concept interprets species as parts of the genealogical network of individual organisms between two successive permanent splits or between a permanent split and an extinction event. Though this option is at present not favoured by phylogeneticists, we believe that, to solve the species problem, there is no alternative to finding a satisfactory partition of the genealogical network. In previous work a formal definition has been developed of Hennigian or internodal species (called internodons here), based on a logical relation between individual organisms. In this paper, we prove that this definition indeed partitions genealogical networks exhaustively into mutually exclusive entities, by showing that the defining relation is an equivalence relation. Although internodons should not themselves be seen as species, they are essential building-blocks for any satisfying species concept. PB Springer SN 1432-1416 LK https://pure.iiasa.ac.at/id/eprint/4235/