1. A non-Euclidean system of geometry based on the postulate that within a plane every pair of lines intersects.