"Høyesterettsdomstol" er et 19-bokstavers substantiv som brukes som synonym for "høyesterett". høyesterett betyr: Fullt navn på Norges øverste domstol