Биномиальная куча – это биномиальный лес, для которого выполняется основное свойство кучи (инвариант 1). Дополнительным свойством (инвариантом 2) биномиальной кучи является требование, чтобы в куче не было двух биномиальных деревьев одинаковой высоты.