Partially defined map

Redirect to:

• Partial function