partial function (Q2318)

From MaRDI portal
Revision as of 15:27, 29 July 2024 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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