包含射の一例

  \[
   \xymatrix@=18pt{
    S\times_XY \ar[rr] \ar@{}[d]|{\bigcap} & & S \ar@{}[d]|{\bigcap} \\
    Y \ar[r] & R \ar@{}[r]|*{\subset} & X.
   }
  \]

⇓

---------- S ×X⋂ Y S⋂ Y ------R ⊂ X.