Uma restrição que requer cada instância da população de um tipo de objeto para o papel. Com uma restrição do papel obrigatório disjuntas, cada membro da população do tipo de objeto deve jogar pelo menos uma das funções indicadas.