Entonces, para todo (x, y) en B, se tiene que