Biordered set
= Biordered set
{wiki=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.