La définition de la géométrie non euclidienne désigne un système géométrique satisfaisant les axiomes de la géométrie hyperbolique et comportant un nombre infini de paires de lignes parallèles.