negation: (logic) a proposition that is true if and only if another proposition is false
abstraction: a general concept formed by extracting common features from specific examples
diffuse nebula: a cluster of stars within an intricate cloud of gas and dust