全単射
→写像