We construct a mathematical framework for twisted N=2 supersymmetric topological quantum field theory on a 4-manifold. Supersymmetry in flat space is defined and the twist homomorphism is constructed, giving us a supermanifold that is the total space …