English Dictionary

left total

adj

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

The left total relation includes all elements from the left set.

意味（1）

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

Coordinate term: right total