Include

カウンター用の変数$i$, $j$を宣言し、$Y$を配列とします。$Yi$が$X$に含まれるなら$j$を$1$ずつ変え、この動作を$n$回繰り返します。$j=n$ならYes, $j<n$ならNoを出力します。