La dependencia multivaluada X -» Y vale en R si los pares de tuplas t1 y t2 en R, tal que t1[X] =