20.8. Ανακλαστική: a = 1.a, άρα a a και α ~ α.
Συμμετρική: Προφανές από τον ορισμό.
Μεταβατική: a ~ b και b ~ c a b, b a και b c, c b a b, b c και c b,
b a (Λήμμα 20.1) a c και c a a ~ c.
Επιστροφή
Επιστροφή στα Περιεχόμενα
a και α ~ α.
a και α ~ α.
a
b, b a και b
c, c b
a b, b
c και
c
b,
a (Λήμμα
20.1) a
c και
c
a a ~ c.