In model theory, a forking extension of a type is an that is in some sense not, and a non-forking extension is an extension that is as free as possible.
In model theory, a forking extension is an that is not. A non-forking extension is an extension that is as free as possible.