Both groups and sets have what