donde "Z" es un conjunto que "d"-separa "u" y "v".