A ruined city, and once the rock capital of Edom, and afterwards of Arabia Petraea; was a place of some importance at one time as a commercial centre; the name Petra signifies rock.