compact operator

type of continuous linear operator