Band (order theory)

In order theory, a band is a specific type of order-theoretic structure. More formally, a band is a semilattice that is also a lattice where every pair of elements has a least upper bound and a greatest lower bound, but it is particularly characterized by the property that all elements are idempotent with respect to the operation defined on it.