Un conjunto de elementos del tipo G que no estén repetidos.