>>347
空集合はYの部分集合だからだろ
部分集合ということは単射
単射ということは包含写像ってことだ