"Høyesterettsdomstol" er et 19-bokstavers substantiv som brukes som synonym for "høgsterettene". høgsterettene betyr: Den øverste domstol i Norge