Orderings
<#Include Label="[1]{orders}">

IsOrdering (Filter)
<#Include Label="IsOrdering"> <#Include Label="OrderingsFamily">

Building new orderings
<#Include Label="OrderingByLessThanFunctionNC"> <#Include Label="OrderingByLessThanOrEqualFunctionNC">

Properties and basic functionality
<#Include Label="IsWellFoundedOrdering"> <#Include Label="IsTotalOrdering"> <#Include Label="IsIncomparableUnder"> <#Include Label="FamilyForOrdering"> <#Include Label="LessThanFunction"> <#Include Label="LessThanOrEqualFunction"> <#Include Label="IsLessThanUnder"> <#Include Label="IsLessThanOrEqualUnder">

Orderings on families of associative words
<#Include Label="[2]{orders}"> <#Include Label="IsOrderingOnFamilyOfAssocWords"> <#Include Label="IsTranslationInvariantOrdering"> <#Include Label="IsReductionOrdering"> <#Include Label="OrderingOnGenerators"> <#Include Label="LexicographicOrdering"> <#Include Label="ShortLexOrdering"> <#Include Label="IsShortLexOrdering"> <#Include Label="WeightLexOrdering"> <#Include Label="IsWeightLexOrdering"> <#Include Label="WeightOfGenerators"> <#Include Label="BasicWreathProductOrdering"> <#Include Label="IsBasicWreathProductOrdering"> <#Include Label="WreathProductOrdering"> <#Include Label="IsWreathProductOrdering"> <#Include Label="LevelsOfGenerators">