In mathematics, particularly in the context of ordered sets and lattice theory, a **heap** refers to a specific type of partially ordered set. It is commonly described in terms of its properties and how its elements are arranged based on a binary relation.