A cidade perdida de Petra

A região onde se encontra Petra foi ocupada por volta do ano 1 200 a.C. pela tribo dos edomitas, recebendo o nome de Edom. Como a cidade se situava perto do monte Hor, é muito possível que os horitas, um povo mencionado na Bíblia (Gênesis 14:6, 36:20, Deuteronômio 2:12), habitassem essa região ainda antes da chegada dos edomitas. A região sofreu numerosas incursões por parte das tribos israelitas, mas permaneceu sob domínio edomita até à anexação pelo Império Aquemênida. A cidade de Petra era denominada Sela em edomita, nome que significa "pedra", "penhasco" ou "rocha" nessa língua; o nome grego πέτρα - Pétra e latino Petra - pedra, penhasco, é a tradução da palavra edomita. O nome árabe Al-Bitrā ou Al-Batrā é a arabização do seu nome grego e latino.