{compact operator} [ریاضی] تبدیلی خطی بین دو فضای بُرداری نُرم دار، با این ویژگی که نگارۀ هر مجموعۀ کران دار بستار فشرده داشته باشد