Introduction to graph theory/Glossary