Assertion: partial function | /r/HasProperty | considered in denotational semantics
Facets:
value: as returning the bottom element
type: MANNER
Source sentences:
text: In denotational semantics a partial function is considered as returning the bottom element when it is undefined.