bis definition quasi-kompakt