A group of elements with no duplicates