Definition:Holomorphic Complex Function