inverse function subgroup of function, 2 assertions