In mathematics, a Fatou–Bieberbach domain is a proper subdomain of , biholomorphically equivalent to . That is, an open set is called a Fatou–Bieberbach domain if there exists a bijective holomorphic function whose inverse function is holomorphic. It is well-known that the inverse can not be polynomial.