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.