Definition:Fork (Model Theory)