6.3 所有多项集的抽象类