Bruhat order

Bruhat order is a partial order on the elements of a Coxeter group, particularly related to the symmetric group and general linear groups. It provides a way to compare the "sizes" or "positions" of elements based on their factorizations into simple reflections.