mapping

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

카테고리: