mapping (Q370502)
binary relation which is left-total (defined on all its input set)
Language: