mapping

binary relation which is left-total (defined on all its input set)

Kategorie: