Non-Euclidean geometry is a type of geometry. Non-Euclidean geometry only uses some of the "postulates" (assumptions) that Euclidean geometry is based on. In normal geometry, parallel lines can never meet. In non-Euclidean geometry they can meet, either infinitely many times (elliptic geometry), or never (hyperbolic geometry).