Kurs:Singularitätentheorie (Osnabrück 2019)/Definitionsliste