Based on the Ginsparg-Wilson relation, a gauge invariant formulation of electroweak SU(2) × U(1) gauge theory on the lattice is considered. If the hypercharge gauge coupling is turned off in the vacuum sector of the U(1) gauge fields, the theory consists of four left-handed SU(2) doublets and it is possible, as in vector-like theories, to make the fermion measure defined globally in all topological sectors of SU(2). We then try to incorporate U(1) gauge field, following Lüscher's reconstruction theorem. The global integrability condition is proved for “gauge loops” in the space of the U(1) gauge fields with arbitrary SU(2) gauge field fixed in the background. For “non-gauge loops”, however, the proof is given so far only for the classical SU(2) instanton backgrounds.