Conjunto não vazio, munido de uma operação.