Formally , a heap is an algebraic structure consisting of a non-empty set `` H '' with a ternary operation denoted formula _ 1 that satisfies
Formally , a heap is an algebraic structure consisting of a ternary set `` H '' with a non-empty operation denoted formula _ 1 that satisfies .