そのまま
等号
全単射