教育部《重編國語辭典修訂本》

縣名。秦代時原名芷陽縣，後因漢文帝陵墓築於此，故改名為「霸陵縣」。晉改稱為「霸城」，北周廢。故城在今陝西省西安市東。也作「灞陵縣」。