The concept of bipolar fuzzy ideals in a TM-algebra was introduced and some properties of these ideals are investigated. Also, a few relations between a bipolar fuzzy ideal and T-ideal are discussed. A new bipolar fuzzy set with a homomorphism of TM-algebra is defined. The Cartesian product of bipolar fuzzy T-ideals in Cartesian product TM-algebras is given.