副标题副标题副标题副
简述泛化的概念及其约束。
泛化是一般性类目（父类）和它的较为特殊性类目（子类）之间的一种关系，有时称为“is-a-kind-of”关系，UMI.给出了以下4个约束:（1分)
(1)完整；（1分）
(2)不完整；（1分）
(3)可斥；（1分）
(4)重叠。（1分）
