right total

not-comparable

(set theory) Of a binary relation, to have every element of the right set occur at least once: ∀b∈B∃a∈A:(a,b)∈R⊆A⨯B

Japanese Meaning

（集合論において）2項関係が、右側集合Bのすべての要素に対して、少なくとも1つの対応する左側集合Aの要素と結びついている性質。 / （集合論）右全域性：任意のb∈Bに対して、あるa∈Aが存在し、(a, b)が成立する関係の性質。

The relation R ⊆ A × B is right total, since for every b ∈ B there exists an a ∈ A with (a, b) ∈ R.

関係 R⊆A×B は右側に対して全射であり、すべての b∈B について (a,b)∈R となる a∈A が存在する。

Sense（1）

(set theory) Of a binary relation, to have every element of the right set occur at least once: ∀b∈B∃a∈A:(a,b)∈R⊆A⨯B

Coordinate term: left total