言い換え案

定義域に着目

複出

要素から複数出る

非複出

要素から1本のみ出る

悉皆出

全ての要素から出る

非悉皆出

出ない要素がある

関数

悉皆非複出

終域に着目

複着

要素に複数入る

非複着

要素に1本のみ入る

悉皆着

全ての要素に入る

非悉皆着

何も入らない要素がある

1対1対応の関数

悉皆非複出な関数

関数は悉皆非複着だから、それも込みで書けば

悉皆非複出-悉皆非複着