"gratineringsost" er et 15-bokstavers substantiv som brukes som synonym for "grateng". grateng betyr: Ost brukt til gratinering.