para todo b de B se cumple que existe un a en A y que a y b están relacionados.