  In this paper, we derive new adjunction inequalities for embedded surfaces
with non-negative self-intersection number in four-manifolds. These formulas
are proved by using relations between Seiberg-Witten invariants which are
induced from embedded surfaces. To prove these relations, we develop the
relevant parts of a Floer theory for four-manifolds which bound circle-bundles
over Riemann surfaces.
