Seja um conjunto não vazio e uma relação em , reflexiva e transitiva. Definimos a relação , em , por:

  • se e somente se e

a) Mostre que é uma relação de equivalência em . Caracterize as classes de equivalência determinadas por em , quando R é uma relação de ordem.

b) Determine explicitamente o conjunto quociente , quandoonde é um conjunto não vazio.