partial function (Q2318)

From MaRDI portal
function whose actual domain of definition may be smaller than its input set
  • univalent relation
  • right-unique relation
  • right-definite relation
  • right unique relation
  • right definite relation
  • partial mapping
Language Label Description Also known as
English
partial function
function whose actual domain of definition may be smaller than its input set
  • univalent relation
  • right-unique relation
  • right-definite relation
  • right unique relation
  • right definite relation
  • partial mapping

Statements

Identifiers

0 references