para todo elemento a de A se cumple que existe al menos un b de B, a y b estén relacionado.