para cualquier elemento "x" en "H" y cualquier subconjunto "Y" de "H".