However, if we have rational map (which has some points where given map is not defined, like 1/x), we can't derive the same result since the rational map is not a functor. To do the similar thing, we should expand the domain to make give map morphism first and should define the height of expanded domain. I will show two ways of constructing height of give varieties and related facts.