集合で条件を揃えるのは当たり前
それと写像はonto mapだけじゃないというか、実験科学ではontoじゃないのが当たり前
バカなのかこいつ