Definition (Regular differential). A differential ω∈ΩC is regular if div⁡(ω)≥0, i.e. it has no poles.