幂类型

（计算机科学技术）

幂类型（powertype），计算机科学技术名词，一种类型。它的每个实例是另一个类型的一个子类型。该子类型刻画了其父类型的实例集合的一个子集合。