Definition:

gavelkind