数集描述法什么是最简形式