A noção de partição dum conjunto não vazio. O conjunto quociente duma relação de equivalência num dado conjunto não vazio A, é uma partição de A. Exemplos.