 When applied to functional analysis, this version of compact embedding is usually used with Banach spaces of functions.Several of the Sobolev embedding theorems are compact embedding theorems.When an embedding is not compact, it may possess a related, but weaker, property of cocompactness.