Quartz 4

Home

❯

Pre Order

Pre-Order

Feb 07, 20261 min read

Definition

A preorder is a relation R:A→A→Prop s.t.

  • R is Reflexive Relation
  • R is transitive

Remarks

Every pre-order forms a Thin Category.

Duplicate Content 1

A relation ∼:A\texttimesA→Prop is a pre-order iff

  • it is reflexive, and Transitive Relation

Graph View

  • Definition
  • Remarks
  • Duplicate Content 1

Backlinks

  • Category

Created with Quartz v4.5.2 © 2026

  • GitHub
  • Discord Community