>>898
写像f:x->y
によってxはyに移る