Esto puede también ser expresado requiriendo que  =  para todos los "x", "y" en "H".