"Høyesterettsinstitusjon" er et 23-bokstavers substantiv som brukes som synonym for "nasjonaldomstol". nasjonaldomstol betyr: Den øverste domstolsinstitusjon i Norge