Talk:Catholic semigroup

"partial transformation" of a set?
What is a "partial transformation" of a set? My best guess so far is it is a partial function from the set into itself, i.e. a function from some subset into the set. But I'd rather not have to guess. Michael Hardy (talk) 18:00, 14 July 2014 (UTC)