More on Relations 2

RISC-Linz logo

Wolfgang Schreiner
Research Institute for Symbolic Computation (RISC-Linz)
Johannes Kepler University, Linz, Austria
  • Overview
  • Antisymmetry
  • Partial Order
  • Irreflexivity
  • Quasi Order
  • Quasi Order from Partial Order
  • Quasi Orders and Anti-Symmetry
  • Example
  • Comparability
  • Total Order
  • Example
  • Example
  • Hasse Diagrams
  • Example
  • Example
  • Example
  • Example
  • Least and Greatest Element
  • Example
  • Example
  • Minimal and Maximal Element
  • Example
  • Lower and Upper Bound
  • Example
  • Infimum and Supremum
  • Order Laws
  • Summary

  • Author: Wolfgang Schreiner
    Last Modification: January 18, 2000

    [Up] [RISC-Linz] [University] [Search]