[see also: interchange
The notion of backward complete is defined analogously by exchanging the roles of f and f-1.