Biordered set

A biordered set is a mathematical structure that is a type of ordered set with two compatible order relations. More formally, a set \( S \) is called a biordered set if it is equipped with two binary relations \( \leq \) and \( \preceq \) that satisfy certain axioms.