Library ▹ Essentials ▹ Relations
  • Rel(S, T) (relations)
  • s ≺ t
  • ≺T
  • mapping
  • ≺(s)
  • Rel(S) (relations)
  • ≺∣T
  • (=S)
  • reflexive
  • connex
  • symmetric
  • antisymmetric
  • transitive
  • preorder
  • partial order
  • total order
  • ≺-lower bound
  • ≺-upper bound
  • ⪯-least element
  • ⪯-greatest element
  • well-order
  • equivalence relation
  • S∕∼
  • ≪
  • ∠
  • Closures
  • Heterogenous equality
[View Source]