Kompakt (Sprache der Mathematik)