Para cualquier conjunto A: