Matemática Discreta - UFC - Relações de Equivalência (aula 01)

Uma observação aos 17 minutos na Prova do Teorema 7.1:
Prova-se que (1) implica (2) e que (3) implica (1), mas não foi mostrado que (2) implica (3) para terminar a equivalência. Essa parte é a mais fácil visto que, se [a]_R = [b]_R, então os elementos "a" e "b" pertencem a [a]_R e [b]_R, pois (a,a) e (b,b) pertencem a R, que é uma relação reflexiva.

свернуть