Questions about orders and their usage within formal contexts. This includes questions about both specific orders and orders in general.

An order is a transitive binary relation fulfilling various additional conditions, so that it can be used to describe the relation of "smaller" or "previous" objects to their "bigger" or "later" counterparts. For example, a total order is a total, reflexive, antisymmetric and transitive binary relation. However, the usage of this tag is not limited to a specific type of order, but on orders and their study in general.

Questions tagged with are about either a specific order relation, or about order relations in general. There is a wide range of possible questions for the latter case: Questions about proofs whose central argument is based on orders, about logical or data-structures utilizing orders in some exposed manner or about proving that one specific structure is an order would all be suitable for this tag.