Capital of Edom in northern Arabia, lying in a rocky valley surrounded by mountains, of which the highest is Mount Hor. The name is apparently a Greek translation of the original Hebrew designation of the place, "Sela" (= "rock"; II Kings xiv. 7; Isa. xvi. 1). Petra was captured by Amaziah, who changed its name to "Joktheel," although Isaiah (l.c.) still termed the city "Sela." In the third or second century
Early in the nineteenth century the site of Petra was explored by Seetzen and Burckhardt, who made known its interesting ruins, chiefly Greek in architecture and consisting of temples, tombs, and an amphitheater.
- Laborde and Linant, Voyage dans l'Arabie Petrée Paris, 1830;
- Visconti, Diario di un Viaggio in Arabia Petrea, Rome, 1872.