设 $f:X \to Y ,g:Y ...
设 $X$ 是一个概形, $X_1,...
设 $V$ 是 $X$ 的子簇,那么...
设 $K$ 是一个代数闭域,$\bb...
设 $X$ 是一个簇,$V$ 是 $...