An algebraic analysis of cladistic characters

Abstract Cladistic characters are used by many numerical axonomists in the estimation of evolutionary history. We make use of semilattice theory to give an algebraic formulation of the ideas involved in this process and to give rigorous proofs of theorems which justify certain operational procedures in current use. In particular, we discuss certain compatibility tests for a collection of characters