有实体设定的抽象