Renaming abstract set, group, etc.