Kategorie:Theorie des charakteristischen Polynoms eines Graphen/Definitionen