解集表示