Ich kenne Kompaktheit nur als Eigenschaften von Mengen in topologischen Räumen. Ich vermute mal, eine Funktion f: X ---> Y heißt kompakt wenn ihr Graph eine kompakte Menge in X x Y (mit der normalen Produkttopologie?) ist? Oder ist es eine Funktion, die kompakte Mengen auf kompakte Mengen abbildet? Ich kenne den Begriff nicht, und ich kann auch spontan keine Definition finden.