Horni Studenec - населенный пункт в 1993, который принадлежал к и находился в административном районе Sokolov.
Horni Studenec ранее принадлежал к Германской империи. В составе Германской империи населенный пункт назывался Prünles. Сейчас населенный пункт называется Dolní Studenec и принадлежит к Чешская Республика.