Last name of corporate raider Carl; it's a homophone of a type of religious image
..... A 
characterization of difunctional relations, which also explains their name, ...... 
Has the same image under a function" on the elements of the domain of the 
function.