>>249
写像を定義するのに積集合は使わずに素朴な定義でやってるの?