We use the construction of unfolded Seiberg–Witten Floer spectra of general 3-manifolds defined in our previous paper to extend the notion of relative Bauer–Furuta invariants to general 4-manifolds with boundary. One of the main purposes of this paper is to give a detailed proof of the gluing theorem for the relative invariants.
