全単射であるぜんたんしゃである<ぜん'たん'しゃ>　で　ある

Math.bijektiv sein