Gratuity fund. An insurance fund from which a payment is made to the family of a deceased
contributor to it. Nearly all exchanges have gratuity funds.