A Set with exactly one element, e.g.