Inverse Transformation January 17, 2016 gef A transformation T: X → Y is invertible if there is a transformation S: Y → X satisfying ST = idX, and TS = idY.