Non Euclidean Geometry Definition