型のインターセクション

∩の定義は、XとYの共通アンビエント領域への埋め込みを使って定義する。

そりゃそうなんだが、共通アンビエント領域を探すのが難しい。∩という絶対的な演算はどうも無理で、∩_Zのような演算しか有効じゃない気がする。