Za ostala značenja, vidi Prava (razvrstavanje).
Prava je jedan od osnovnih geometrijskih pojmova. Njena definicija se daje aksiomatski.
Nemački naučnik G. Lajbnic je pravu definisao kao liniju koja dijeli ravan na dva kongruentna dijela, međutim pod ovu definiciju potpadaju i druge linije - na primjer, sinusoida i svaka pravilna izlomljena linija čija su svaka dva segmenta na preskok - paralelna.