Se, em um tipo de relacionamento binário, um dos seus tipos de entidades participantes possui a restrição de participação caracterizada como total, necessariamente cada entidade desse tipo de entidade deve participar no tipo de relacionamento
