Оператор компактний

цілком неперервний оператор, оператор, що відображає обмежену множину у відносно компактну