An Axiomatic Definition of Hierarchical Clustering (Journal of Machine Learning Research, 2026)