non-euclidean geometry: (mathematics) geometry based on axioms different from Euclid's
abstraction: a general concept formed by extracting common features from specific examples
aspic: savory jelly based on fish or meat stock used as a mold for meats or vegetables