Compact embedding

Compact embedding is a concept from functional analysis, particularly within the context of Sobolev spaces and other function spaces. It describes a situation where one function space can be embedded into another in such a way that bounded sets in the first space are mapped to relatively compact sets in the second space.