"Høyesterettsretten" er et 18-bokstavers substantiv som brukes som synonym for "nasjonaldomstol". nasjonaldomstol betyr: Den øverste rettsinstans i Norge