underlying_set