Monodromisatsen ger ett tillräckligt villkor för existensen av en direkt analytisk fortsättning av en analytisk funktion , det vill säga förekomsten av en annan analytisk funktion på en större uppsättning som sammanfaller med den ursprungliga på den initiala definitionsdomänen.
Låt vara en öppen uppsättning och vara analytisk på . Vidare, om den större uppsättningen är en enkelt ansluten domän , som har egenskapen att den kan fortsätta analytiskt längs vilken väg som helst i , med början från vilken punkt som helst , tillåter den analytisk fortsättning i .