More on Relations 1

RISC-Linz logo
Wolfgang Schreiner
Research Institute for Symbolic Computation (RISC-Linz)
Johannes Kepler University, Linz, Austria
  • Overview
  • Relation Properties
  • Equivalence Relation
  • Visualization
  • Example
  • Proof
  • Class
  • Visualization
  • Example
  • Example
  • Example
  • Example (Continued)
  • Class Properties
  • Quotient Set
  • Partition
  • Example
  • Equivalence Relations and Partitions
  • Partitions and Equivalence Relations
  • Relationship between Constructions
  • Motivation
  • Direct Approach
  • Example
  • Observation
  • Modular Congruence
  • Residue Class
  • Modular Integer Numbers
  • Congruence Properties
  • Example
  • Modular Arithmetic
  • Equivalent Definition
  • Operational Interpretation
  • Example
  • Direct Definition of Integer Numbers
  • Integer Domain
  • Integer Arithmetic
  • Example
  • Isomorphism of Integer Constructions
  • Rational Numbers
  • Isomorphism of Rational Constructions
  • Summary
    • Author: Wolfgang Schreiner
    Last Modification: January 12, 2000
    [Up] [RISC-Linz] [University] [Search]