Se le llama identidad de "tipo" para distinguirla de la teoría afín pero distinta llamada "identidad de casos "("token identity").