mapping

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

Categorieën: