invertibility

not defined yet