This function embeds a finite set into the set one bigger, allowing us to insert the `new' variable w wherever we like.
I borrowed the name `thinning' from the formal metatheorists. Some people call it `weakening' (though others make weakening a special case). Chucking in more stuff is `thinning' if you think liquid. `Typical!' says Rod.
How does it work?..
Next: thin at fz | Prev: lift that function | Up: contents