Bosonic part of SU(2)L U(1)Y effective chiral Lagrangian for electroweak symmetry breaking is derived from an underlying technicolor theory with no approximation. The underlying theory is assumed to be the most general gauge theory without fundamental scalars. A condensate is required to exist in the theory which breaks SU(2)L U(1)Y dynamically to U(1)em and the anomaly of the theory caused by gauge interaction must be cancelled. The formulation offers general definitions in terms of underlying theory for the low energy constants in effective chiral Lagrangian.``