non-euclidean geometry: (mathematics) geometry based on axioms different from Euclid's
abstraction: a general concept formed by extracting common features from specific examples
cisco: important food fish of cold deep lakes of North America