为了进一步表达泛化的语义，UML给出了4个约束，分别为完整、不完整、_____和_____。