eine in einer offenen Menge D ⊂ ℂ (der Fall allgemeinerer Bereiche wird weiter unten behandelt) definierte Funktion \(f:D\to \hat{{\mathbb{C}}}\) mit folgenden Eigenschaften:

(a) Die Menge P(f) := {z ∈ D : f(z) = ∞} ist diskret in D.

(b) Es ist f eine in D \ P( f) holomorphe Funktion.

(c) Jeder Punkt z₀ ∈ P(f) ist eine Polstelle von f. Man nennt dann P(f) die Polstellenmenge von f. Sie hat keinen Häufungspunkt in D und ist daher entweder leer (d. h. f ist holomorph in D), endlich oder abzählbar unendlich. Ist z₀ eine Polstelle von f, so setzt man f(z₀) := ∞ Versieht man \(\hat{{\mathbb{C}}}\) mit der chordalen Metrik (Kompaktifizierung von ℂ), so kann man f als stetige Funktion in D mit Werten in \(\hat{{\mathbb{C}}}\) auffassen.

Jede rationale Funktion \begin{eqnarray}f(z)=\frac{P(z)}{Q(z)}=\frac{{a}_{n}{z}^{n}+\cdots +{a}_{1}z+{a}_{0}}{{b}_{m}{z}^{m}+\cdots +{b}_{1}z+{b}_{0}}\end{eqnarray}

mit teilerfremden Polynomen P und Q (wobei m, n ∈ ℕ₀, a_n ≠ 0, b_m ≠ 0) ist eine in ℂ meromorphe Funktion mit endlicher Polstellenmenge P(f).

Diese stimmt mit der Nullstellenmenge des Nennerpolynoms Q überein.

Ein typisches Beispiel einer in ℂ meromorphen Funktion mit unendlicher Polstellenmenge ist \begin{eqnarray}f(z)=\cot \pi z=\frac{\cos \pi z}{\sin \pi z}.\end{eqnarray}

Hier gilt P(f) = ℤ. Meromorphe Funktionen in ℂ, die nicht rational sind, nennt man auch meromorph transzendent. Die Menge aller in D meromorphen Funktionen bezeichnet man mit ℳ(D). Siehe hierzu auch Algebra der meromorphen Funktionen.

Ist f eine in einem GebietG ⊂ ℂ meromorphe Funktion und f ≢ 0, so wird die Ordnungsfunktion o(f, ·): G → ℤ von f wie folgt definiert. Für jedes z₀ ∈ G besitzt f in einer Umgebung von z₀ eine Laurent-Entwicklung\begin{eqnarray}f(z)=\displaystyle \sum _{n=m}^{\infty }{a}_{n}{(z-{z}_{0})}^{n}\end{eqnarray}

mit a_n ∈ ℂ, a_m ≠ 0 und m ∈ ℤ. Diese eindeutig bestimmte Zahl m heißt die Ordnung von f im Punkt z₀ und wird mit o(f, z₀) bezeichnet. Folgende Aussagen sind offensichtlich:

• Es ist f holomorph in einer Umgebung von z₀ genau dann, wenn o(f, z₀) ≥ 0.
• Falls o(f, z₀) < 0, so ist z₀ eine Polstelle von f mit der Polstellenordnung m = −o(f, z₀).

Weiter gelten für f, g ∈ ℳ(G) folgende Rechenregeln:

• o(fg, z₀) = o(f, z₀) + o(g, z₀) (Produktregel),
• o(f+g, z₀) ≥ min {o(f, z₀), o(g, z₀)}, wobei Gleichheit sicher dann gilt, wenn o(f, z₀) ≠ o(g, z₀).

In Verallgemeinerung dieses univariaten Begriffs findet man auch folgende Definitionen: Sei X eine beliebige komplexe Mannigfaltigkeit. Unter einer meromorphen Funktion auf X versteht man ein Paar (A, f) mit den folgenden Eigenschaften:

1) A ist eine Teilmenge von X.

2) f ist eine holomorphe Funktion auf X \ A.

3) Zu jedem Punkt x₀ ∈ A gibt es eine Umgebung U(x₀) ⊂ X und holomorphe Funktionen g, h auf U so, daß gilt:

a) A ∩ U = {x ∈ U | h (x) = 0}.

b) Die Keime g_x0, h_x0 ∈ 𝒪_x0 sind teilerfremd.

c) Es ist \(f(x)={\displaystyle \frac{g(x)}{h(x)}}\) für jedes x ∈ U − A.

Ist (A, f) eine holomorphe Funktion auf X, so folgt sofort aus der Definition, daß A leer oder eine 1-kodimensionale analytische Menge ist. A ist die Polstellenmenge der meromorphen Funktion (A, f)

Sei Y ⊂ X eine offene dichte Teilmenge und f eine holomorphe Funktion auf Y. Zu jedem Punkt x₀ ∈ X \ Y gebe es eine Umgebung U (x₀) ⊂ X und holomorphe Funktionen g, h auf U, so daß gilt:

g_x0und h_x0sind teilerfremd, und für jedes x ∈ Y ist g (x) = f (x) · h (x).

Schließlich sei A die Menge aller Punkte x₀ ∈ X \ Y, für die gilt: Zu jeder reellen Zahl r > 0 und jeder Umgebung V (x₀) ⊂ X gibt es ein x ∈ V ∩ Ymit |f(x)| >r.

Dann gibt es eine eindeutig bestimmte holomorphe Fortsetzung \(\hat{f}\)von f nach X \ A so, daß \((A,\hat{f})\)eine meromorphe Funktion ist.

Diesen Satz kann man heranziehen, um Summe und Produkt von meromorphen Funktionen auf Mannigfaltigkeiten zu definieren. Ist X zusammenhängend, so bilden die meromorphen Funktionen auf X einen Körper. Jede holomorphe Funktion f auf X kann man als meromorphe Funktion (∅, f) auffassen.