(?)gönderimi ve (?) üstkümesi verildiğinde, g nin A ya kısıtlanmışı f ye eşit olacak biçimde g : (?)gönderimi.
