Hola Facundo,
Esto quiere decir que si no estaba "d" con alguien, se agrga la parecja ("d","r") y sino se reemplaza la pareja de que tenía "d" con "r". Esto es, la operación inserta o actualiza.
La "supresión" recibe el "d" y no el "r" porque la clave es "d" (es una función). Si "d" está borrar la parecja ("d",T("d")) y sino, no tiene efecto. Una función/tabla es un conjunto de pares. Luego, al borar si se saca algo es un par.
Saludos, Carlos