Petra, kvinnenavn, avledet av mannsnavnet Peter. Navnedag 1. august.