para todo "x" y "y" en "H".