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 |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | partial function |
function whose actual domain of definition may be smaller than its input set |
|
