Symbol: cd_has_sets