An Axiomatic Definition of Hierarchical Clustering (JMLR, 2026)