Un montículo binomial se implementa como un conjunto de árboles binomiales que satisfacen las propiedades del montículo: