Translating partial functions always as relations.