支配的な射・双有理同値

多様体の射 $\phi\colon X \to Y$ が支配的であるとは、像 $\phi(X)$ が $Y$ で稠密であることをいう。多様体 $X, Y$ が双有理同値であるとは、空でない開集合 $U \subseteq X$、$V \subseteq Y$ と多様体の同型 $U \cong V$ が存在することをいう。