>>730
包含写像の定義はあれど「非包含写像」の定義はないでしょ？
そう書かれている理由は多分、包含写像とみなしたほうが自然だからだと思う