Symbol: Opt_subset