Referenced by:

• 03390019876513390030r
• directed-set
• lang
• seven-sketches
• ordering-relation
• preorders-as-subsets
• syntheses