Birational map (source code)

= Birational map

A <rational map> with a rational inverse restricts to an <isomorphism> of dense open subsets. It may identify or omit exceptional points outside those subsets.