Limiting the Domain of a Absolute Value Function so it would have an inverse (5.3 p340 #57)